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
Modular Verification for a Class of PLTL Properties
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A Mechanically Proved Development Combining B Abstract Systems and Spin
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
An integrated approach to verifying large circuits: a case study
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
| Hi-index | 0.00 |