ltl satisfiability checking
Recently Published Documents

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document