C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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