Linking and Extending Notations
Yamine Aït Ameur
: Cooperation of Formal Methods in an Engineering Based Software Development Process.
: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.
Foundation of One Formalism by Another
Jonathan P. Bowen
: Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
: How to Write a Healthiness Condition.
Verification and Validation