Specification and validation methods
Egon Börger · Oxford University Press eBooks · 1995
Introduction. 1.: Evolving algebras 1993. Lipari guide. 2.: Annotated bibliography on evolving algebras. 3.: Program verification and Prolog. 4.: CLAM-specifications for provably correct compilation of CLP(R) program. 5.: The semantics of the C++ programming language. 6.: Verification of parameterized programs VHDL-based system-level hardware design. 7.: The Bakery Algorithm: yet another specification and verification. 8.: Kermit: specification and verification. 9.: Group membership protocol: specification and verification. 10.: Specification and verification of VHDL-based system-level hardware design. 11.: Specification and verification of Gate-level VHDL models of synchronous and asynchronous circuits