Arcaini, Paolo, University of Bergamo, Italy
-
Volume 70: Automated Verification of Critical Systems 2014 - Articles
Using SMT for dealing with nondeterminism in ASM-based runtime verification
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.