Quantitative Verification of System Safety in Event-B.
Anton TarasyukElena TroubitsynaLinas LaibinisPublished in: SERENE (2011)
Keyphrases
- qualitative and quantitative
- safety analysis
- event detection
- model checking
- formal verification
- face verification
- formal methods
- verification method
- event recognition
- safety critical
- real time
- events occurring
- information systems
- quantitative measures
- events occur
- concurrent systems
- asynchronous circuits
- quantitative and qualitative
- computer vision
- data sets