BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker.
Luca GeattiNicola GiganteAngelo MontanariPublished in: OVERLAY@GandALF (2021)
Keyphrases
- bounded model checking
- model checking
- phase transition
- lightweight
- cost effective
- highly accurate
- satisfiability problem
- temporal logic
- terminological reasoning
- deterministic automata
- linear temporal logic
- propositional logic
- data sets
- np complete
- search algorithm
- connected components
- symmetry breaking
- digital images
- information systems