A Verified Implementation of Priority Monitors in Java

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_11 ◽

2012 ◽

pp. 160-177 ◽

Author(s):

Ángel Herranz ◽

Julio Mariño

Download Full-text