Login / Signup
Formal Verification of Transactional Systems Based on UML Specifications.
Mark A. J. Song
Adriano C. M. Pereira
Sérgio Vale Aguiar Campos
Luis Enrique Zárate
Published in:
SEKE (2005)
Keyphrases
</>
formal verification
automated verification
model checker
formal methods
model checking
bounded model checking
software maintenance
information systems