| HOL-Z 2.0: A Proof Environment for Z-Specifications Extended Abstract (2008) | |||||||||||||
Abstract | |||||||||||||
| The design of tools for formal specification languages (SL) can be roughly divided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an implementation language. In contrast, embedded designs are based on a logical embedding in theorem prover environments such | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||