Login / Signup
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.
Valentin Goranko
Angelo Kyrilov
Dmitry Shkatov
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
description logics
temporal logic
software tools
model based testing
test cases
efficient implementation
neural network
expert systems
np complete
model checking
satisfiability problem
software testing
computational properties
bounded model checking