Statecharts: A visual formalism for complex systems
Science of Computer Programming
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Using VDM with rely and guarantee-conditions. Experiences from real projects
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Parallel program design: a foundation
Parallel program design: a foundation
A simple approach to specifying concurrent systems
Communications of the ACM
The RAISE language, methods and tools
Formal Aspects of Computing
VVSL: a language for structured VDM specifications
Formal Aspects of Computing
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
Hi-index | 0.00 |
The detailed validation of reactive systems, using an extension of VDM, is studied. The specification and proof of behavioural aspects is added to VDM by using traces of the inputloutput activities.The major objective of this work is to progress in the comprehension of the practical implications of the specification, design, and symbolic validation of machinechecked reactive systems.