SMC: A Symmetry Based Model Checker for Verification of Liveness Properties

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries

IEEE Transactions on Parallel and Distributed Systems

An empirical evaluation of deadlock detection in software architecture specifications

Annals of Software Engineering

A comparative study of formal verification techniques for software architecture specifications

Annals of Software Engineering

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems

IEEE Transactions on Knowledge and Data Engineering

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing

An Improvement of Software Architecture Verification

Electronic Notes in Theoretical Computer Science (ENTCS)