1895 search results - page 210 / 379 » Using ATL for Checking Models |
148
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
128
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
270
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
156
Voted
ENTCS
2006
15 years 5 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
211
click to vote
FMSB
2008
15 years 6 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...