Login / Signup
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications.
Marion Guthmuller
Martin Quinson
Gabriel Corona
Published in:
PDP (2015)
Keyphrases
</>
automatic detection
formal methods
model checking
formal analysis
object detection
target detection
dynamic environments
detection method
reverse engineering
detection rate
dynamic constraints
finite state machines
detection accuracy
data mining
higher level
state space
learning algorithm
genetic algorithm