10870 search results - page 154 / 2174 » Model Checking Programs |
139
Voted
APN
2010
Springer
15 years 6 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...
118
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
102
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
110
click to vote
AIIA
2007
Springer
15 years 8 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...
101
click to vote
ENTCS
2007
15 years 1 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 specificatio...