1895 search results - page 121 / 379 » Using ATL for Checking Models |
141
click to vote
ISTA
2003
15 years 6 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
139
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
190
Voted
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
145
click to vote
CIMAGING
2008
15 years 6 months ago
2008
We compute AM-FM models for infrared video frames depicting military targets immersed in structured clutter backgrounds. We show that independent correlation based detection proce...
139
Voted
ENTCS
2007
15 years 4 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...