Completeness of the Owicki-Gries System for Parameterized Parallel Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Can Component/Service-Based Systems Be Proved Correct?
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
The rely-guarantee method in Isabelle/HOL
ESOP'03 Proceedings of the 12th European conference on Programming
Assertion-based proof checking of chang-roberts leader election in PVS
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Incremental verification of owicki/gries proof outlines using PVS
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Compositional verification of a communication protocol for a remotely operated aircraft
Science of Computer Programming
| Hi-index | 0.00 |