5863 search results - page 25 / 1173 » On Model-Checking of P Systems |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
