Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking.
Eduardo Rohde ErasLuciana Brasil Rebelo dos SantosValdivino Alexandre de Santiago JúniorNandamudi Lankalapalli VijaykumarPublished in: ICCSA (4) (2015)
Keyphrases
- formal methods
- safety critical
- model checking
- model checker
- temporal logic
- formal specification
- process algebra
- wide acceptance
- development lifecycle
- temporal properties
- formal verification
- knowledge based systems
- finite state machines
- reactive systems
- symbolic model checking
- artificial intelligence
- verification method
- software architecture
- case study
- information systems
- modeling language
- building blocks
- user interface
- asynchronous circuits