| HOL-Z 2.0: A Proof Environment for Z-Specifications Extended Abstract (2007) | |||||||||||||||
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 | |||||||||||||||
| |||||||||||||||