2872 search results - page 35 / 575 » On (Omega-)Regular Model Checking |
129
Voted
JSC
2010
14 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
108
Voted
APN
2010
Springer
15 years 2 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ā...
75
Voted
COMPSAC
2002
IEEE
15 years 3 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...
92
Voted
AIIA
2007
Springer
15 years 4 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...