12981 search results - page 135 / 2597 » Model Checking and Abstraction |
181
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
138
click to vote
ECEASST
2010
15 years 1 months ago
2010
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
137
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of ācourse designā, that we call curricula model, and introduce a graphical language, groun...
127
click to vote
ENTCS
2007
15 years 4 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The speciļ¬catio...
138
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Blast is an automatic veriļ¬cation tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...