Extending Co-logic Programs for Branching-Time Model Checking

2014 ◽  
pp. 127-144 ◽  
Author(s):  
Hirohisa Seki
Keyword(s):  
Model Checking ◽  
Branching Time ◽  
Logic Programs ◽  
Time Model

Branching-Time Model Checking of One-Counter Processes and Timed Automata

2013 ◽  
Vol 42 (3) ◽  
pp. 884-923 ◽  
Author(s):  
Stefan Göller ◽  
Markus Lohrey
Keyword(s):  
Model Checking ◽  
Timed Automata ◽  
Branching Time ◽  
Time Model

scholarly journals Branching-Time Model Checking Gap-Order Constraint Systems

2016 ◽  
Vol 143 (3-4) ◽  
pp. 339-353 ◽  
Author(s):  
Richard Mayr ◽  
Patrick Totzke
Keyword(s):  
Model Checking ◽  
Branching Time ◽  
Time Model ◽  
Constraint Systems ◽  
Order Constraint

An automata-theoretic approach to branching-time model checking

2000 ◽  
Vol 47 (2) ◽  
pp. 312-360 ◽  
Author(s):  
Orna Kupferman ◽  
Moshe Y. Vardi ◽  
Pierre Wolper
Keyword(s):  
Model Checking ◽  
Theoretic Approach ◽  
Branching Time ◽  
Time Model

scholarly journals Branching-time model-checking of probabilistic pushdown automata

2014 ◽  
Vol 80 (1) ◽  
pp. 139-156 ◽  
Author(s):  
Tomáš Brázdil ◽  
Václav Brožek ◽  
Vojtěch Forejt ◽  
Antonín Kučera
Keyword(s):  
Model Checking ◽  
Branching Time ◽  
Time Model ◽  
Pushdown Automata

scholarly journals Branching-Time Model-Checking of Probabilistic Pushdown Automata

2009 ◽  
Vol 239 ◽  
pp. 73-83 ◽  
Author(s):  
Tomáš Brázdil ◽  
Václav Brožek ◽  
Vojtěch Forejt
Keyword(s):  
Model Checking ◽  
Branching Time ◽  
Time Model ◽  
Pushdown Automata
Sign in / Sign up

Export Citation Format

Share Document