Results 251 to 260 of about 1,197,742 (268)

Checking Models

1996
Dilwyn Edwards, Michael Hamson
openaire   +1 more source

Counterexample-guided abstraction refinement for symbolic model checking

Journal of the ACM, 2003
Orna Grumberg, Somesh Jha, Helmut Veith
exaly  

Model Checking

2019
Flemming Nielson, Hanne Riis Nielson
openaire   +1 more source

Building Information Modeling (BIM) and Safety: Automatic Safety Checking of Construction Models and Schedules

Automation in Construction, 2013
Sijie Zhang, Jochen Teizer, Jin-Kook Lee
exaly  

Development of an object model for automated compliance checking

Automation in Construction, 2015
Jane Matthews, Peter E D Love, David Greenwood   +2 more
exaly  

Model checking temporal properties of reaction systems

Information Sciences, 2015
Artur Meski, Wojciech Penczek, Grzegorz Rozenberg   +2 more
exaly  

Model-Checking

1999
Markus Müller-Olm, David Schmidt, Bernhard Steffen   +2 more
openaire   +1 more source

Model Checking

2018
openaire   +1 more source

Computation tree logic model checking based on multi-valued possibility measures

Information Sciences, 2019
Yongming Li, Sanjiang Li
exaly  

Model checking of linear-time properties in multi-valued systems

Information Sciences, 2017
Yongming Li
exaly