A Formal Verification Tool for UML Behavioral Diagrams.
Luciana Brasil Rebelo dos SantosEduardo Rohde ErasValdivino Alexandre de Santiago Jr.Nandamudi Lankalapalli VijaykumarPublished in: ICCSA (1) (2014)
Keyphrases
- software systems
- formal verification
- software engineering
- model checking
- unified modeling language
- software design
- uml diagrams
- sequence diagrams
- class diagram
- automated verification
- bounded model checking
- class diagrams
- object oriented systems
- model checker
- object oriented
- software tools
- program slicing
- symbolic model checking
- temporal logic
- uml models
- artificial intelligence
- petri net
- orders of magnitude
- open source