955 search results - page 12 / 191 » Model Checking Operator Procedures |
TOCL
2011
13 years 3 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
WSC
2008
13 years 11 months ago
2008
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
SOCA
2007
IEEE
14 years 2 months ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
SCESM
2006
ACM
14 years 2 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...