Login / Signup
Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations.
Einollah Pira
Published in:
Softw. Qual. J. (2022)
Keyphrases
</>
symbolic model checking
model checking
safety analysis
knowledge discovery
temporal logic
formal verification
model checker
finite state
formal specification
formal methods
partial observability
data mining
safety critical
control system
association rules
symbolic representation