A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Cooperative reasoning for automatic software verification
Proceedings of the second workshop on Automated formal methods
The connection between two ways of reasoning about partial functions
Information Processing Letters
Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
RAFFS: Model Checking a Robust Abstract Flash File Store
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Coupling design and verification in software product lines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Verifying pointer safety for programs with unknown calls
Journal of Symbolic Computation
A survey of the practice of computational science
State of the Practice Reports
Z/Eves and the mondex electronic purse
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
JCML: A specification language for the runtime verification of Java Card programs
Science of Computer Programming
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Science of Computer Programming
Continuous ASM, and a pacemaker sensing fragment
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
MADES: a tool chain for automated verification of UML models of embedded systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
From software verification to `everyware' verification
Computer Science - Research and Development
Hi-index | 4.10 |
Given the right computer-based tools, the use of formal methods could become widespread and transform software engineering.