Coordinating Exceptions of Java Systems: Implementation and Formal Verification.

Simone Hanazumi Ana Cristina Vieira de Melo

Published in: QUATIC (2012)

Keyphrases

formal verification
automated verification
model checking
artificial intelligence
programming language
distributed object
multi agent systems
open source
distributed systems
computer systems
formal methods
commercial systems
program slicing
successful deployment