ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Formal Verification of a Partial-Order Reduction Technique for Model Checking
Journal of Automated Reasoning
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Proof Methods for Concurrency: A Semantic Approach
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Composition: A Way to Make Proofs Harder
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Automated modular specification and verification of real-time reactive systems
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
PLTL-partitioned model checking for reactive systems under fairness assumptions
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |