Formal Verification of Use Case Maps with Real Time Extensions.
Jameleddine HassineJuergen RillingRachida DssouliPublished in: SDL Forum (2007)
Keyphrases
- formal verification
- real time
- model checking
- model checker
- automated verification
- bounded model checking
- vision system
- symbolic model checking
- program slicing
- low cost
- temporal logic
- real time systems
- efficient implementation
- formal methods
- formal specification
- orders of magnitude
- test set
- expert systems
- neural network