Results 241 to 250 of about 230,174 (255)

Model Checking

2001
Edmund M. Clarke, Bernd-Holger Schlingloff   +1 more
openaire   +2 more sources

Model checks

2020
Alvar M. Kabe, Brian H. Sako
openaire   +1 more source

Model Checking

2017
Calin Belta, Boyan Yordanov, Ebru Aydin Gol   +2 more
openaire   +2 more sources

Model Checking

1997
  +4 more sources

Towards model checking OCL

2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object Constraint Language (OCL). Eventually, the aim is to do model checking.
Distefano, D.S., Katoen, Joost P., Rensink, Arend   +2 more
openaire   +2 more sources

Stochastic Model Checking

2006
openaire   +2 more sources

Model Checking

2016
Bolpagni M., Mastrolembo Ventura S
openaire   +3 more sources

Model Checking

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

Model-Checking

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

Model Checking

2018
openaire   +1 more source