Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
CLPS-B - A Constraint Solver for B
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Computation Model for Z Based on Concurrent Constraint Resolution
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A C++ library for implementing specifications
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
On checking the consistency of Object-Z classes
ACM SIGSOFT Software Engineering Notes
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
An outline pattern language for Z: five illustrations and two tables
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
The validation of formal specifications of requirements
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |