System-level state equality detection for the formal dynamic verification of legacy distributed applications.
Marion GuthmullerGabriel CoronaMartin QuinsonPublished in: J. Log. Algebraic Methods Program. (2018)
Keyphrases
- formal methods
- false alarms
- higher level
- dynamic environments
- detection algorithm
- automatic detection
- model checking
- false positives
- data sets
- detection method
- object detection
- database
- face detection
- state space
- object recognition
- search engine
- artificial intelligence
- detection accuracy
- levels of abstraction
- formal analysis