Dafny meets the verification benchmarks challenge
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Specification and verification: the Spec# experience
Communications of the ACM
The 1st verified software competition: experience report
FM'11 Proceedings of the 17th international conference on Formal methods
Making software verification tools really work
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Using invariant relations in the termination analysis of while loops
Proceedings of the 34th International Conference on Software Engineering
Invariant functions and invariant relations: An alternative to invariant assertions
Journal of Symbolic Computation
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Heedless programming: ignoring detectable error is a widespread hazard
Software—Practice & Experience
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
| Hi-index | 0.02 |