Vooduu: Verification of Object-Oriented Designs Using UPPAAL
Abstract elided by the publisher.
Related papers
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- UPPAAL in 1995 TACAS 1996
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- Efficient Guiding Towards Cost-Optimality in UPPAAL TACAS 2001
- jStar: towards practical verification for java OOPSLA 2008
- An Object-Oriented Framework for the Formal Verification of Processors ECOOP 1995
- AutoProof: Auto-Active Functional Verification of Object-Oriented Programs TACAS 2015