5863 search results - page 103 / 1173 » On Model-Checking of P Systems |
182
click to vote
SIGSOFT
2010
ACM
15 years 3 days ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
152
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
143
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
150
click to vote
DSD
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
