AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.
Gabriel PedrozaLudovic ApvrilleDaniel KnorreckPublished in: NOTERE (2011)
Keyphrases
- formal verification
- security properties
- formal methods
- safety analysis
- model checking
- symbolic model checking
- model checker
- safety critical
- virtual world
- cryptographic protocols
- formal model
- security requirements
- bounded model checking
- temporal logic
- real time
- security analysis
- security protocols
- formal specification
- modeling language
- autonomous agents
- nuclear power plant
- knowledge base