Applying VDM to large developments
Conference proceedings on Formal methods in software development
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
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
IEEE Transactions on Software Engineering
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
Case Study: Darlington Nuclear Generating Station
IEEE Software
Communications of the ACM
A mechanically certified theorem about optimal concurrency of sorting networks
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proof planning for strategy development
Annals of Mathematics and Artificial Intelligence
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Proceedings of the 13th ACM conference on Computer and communications security
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Hi-index | 0.02 |