Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Channel Representations in Protocol Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Eliminating Queues from RT UML Model Representations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
Reachability Problems in Piecewise FIFO Systems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |