2878 search results - page 38 / 576 » Model Checking FTA |
134
Voted
APN
2010
Springer
15 years 5 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ā...
92
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The Uniļ¬ed 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...
107
Voted
AIIA
2007
Springer
15 years 7 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...
94
Voted
ENTCS
2007
15 years 21 days 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...
103
Voted
ENTCS
2002
15 years 16 days ago
2002
or Abstraction in Model Checking Mar