scholarly journals LTL Satisfiability Checking Revisited

2013 ◽  
Author(s):  
Jianwen Li ◽  
Lijun Zhang ◽  
Geguang Pu ◽  
Moshe Y. Vardi ◽  
Jifeng He
Keyword(s):  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

scholarly journals Constraint LTL satisfiability checking without automata

2014 ◽  
Vol 12 (4) ◽  
pp. 522-557 ◽  
Author(s):  
Marcello M. Bersani ◽  
Achille Frigeri ◽  
Angelo Morzenti ◽  
Matteo Pradella ◽  
Matteo Rossi ◽  
...  
Keyword(s):  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

Accelerating LTL satisfiability checking by SAT solvers

2018 ◽  
Vol 28 (6) ◽  
pp. 1011-1030
Author(s):  
Jianwen Li ◽  
Geguang Pu ◽  
Lijun Zhang ◽  
Moshe Y Vardi ◽  
Jifeng He
Keyword(s):  
Sat Solvers ◽  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

An explicit transition system construction approach to LTL satisfiability checking

2017 ◽  
Vol 30 (2) ◽  
pp. 193-217 ◽  
Author(s):  
Jianwen Li ◽  
Lijun Zhang ◽  
Shufang Zhu ◽  
Geguang Pu ◽  
Moshe Y. Vardi ◽  
...  
Keyword(s):  
Transition System ◽  
System Construction ◽  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

Satisfiability checking using Boolean Expression Diagrams

2002 ◽  
Vol 5 (1) ◽  
pp. 4-14 ◽  
Author(s):  
Poul F. Williams ◽  
Henrik R. Andersen ◽  
Henrik Hulgaard
Keyword(s):  
Boolean Expression ◽  
Satisfiability Checking

scholarly journals Verification of Timed Automata via Satisfiability Checking

2002 ◽  
pp. 225-243 ◽  
Author(s):  
Peter Niebert ◽  
Moez Mahfoudh ◽  
Eugene Asarin ◽  
Marius Bozga ◽  
Oded Maler ◽  
...  
Keyword(s):  
Timed Automata ◽  
Satisfiability Checking
Sign in / Sign up

Export Citation Format

Share Document