The Z notation: a reference manual
The Z notation: a reference manual
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
The formal semantics of ISO VDM-SL
Computer Standards & Interfaces - Special issue on formal description techniques
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Towards a compositional interpretation of object diagrams
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Formal specification and validation at work: a case study using VDM-SL
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Translating Specifications in VDM-SL to PVS
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Formal Methods in Practice: A Comparison of Two Support Systems for Proof
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
MERILL: An Equational Reasoning System in Standard ML
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Synthesising Structure from Flat Specifications
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Test Case Preparation Using a Prototype
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Quantitative Analysis of an Application of Formal Methods
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Hi-index | 0.00 |
There is undoubtedly a huge gap between the level of formality currently in use in mainstream software engineering and the "best practise" advocated by academics and practised by a small sector of industry involved in critical applications. This paper presents some results of recent research which are building bridges between these two approaches: on the one hand, developing formal methods which are useful to mainstream developers; and on the other, underpinning mainstream methods with formal foundations.