1895 search results - page 41 / 379 » Using ATL for Checking Models |
121
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
103
click to vote
ICCD
2007
IEEE
15 years 6 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
92
Voted
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
118
click to vote
IJDE
2007
15 years 2 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
123
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...