An Architecture-Based Verification Technique for AADL Specifications.
Andreas JohnsenPaul PetterssonKristina LundqvistPublished in: ECSA (2011)
Keyphrases
- automated verification
- bounded model checking
- model checking
- concurrent systems
- formal verification
- model checker
- asynchronous circuits
- formal specification
- protocol specification
- verification method
- test case generation
- signature verification
- temporal logic
- functional requirements
- specification language
- formal methods
- high security
- delay insensitive
- real time
- face verification
- description language
- attribute grammars
- expert systems
- artificial intelligence