Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
P-A logic: a compositional proof system for distributed programs
Distributed Computing
EPspectra: a formal toolkit for developing DSP software applications
Theory and Practice of Logic Programming
Timed abstract non-interference
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Verification of LTL on b event systems
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
| Hi-index | 0.89 |