Correctness proofs of distributed termination algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Using symbolic execution for verification of Ada tasking programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of sequential and concurrent programs
Verification of sequential and concurrent programs
Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Automatic Verification of Finite State Concurrent Systems Using TemporalLogic Specifications
Automatic Verification of Finite State Concurrent Systems Using TemporalLogic Specifications
Hi-index | 0.00 |