5863 search results - page 103 / 1173 » On Model-Checking of P Systems |
171
click to vote
SIGSOFT
2010
ACM
14 years 11 months 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...
148
Voted
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...
137
click to vote
APSEC
2005
IEEE
15 years 10 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...
142
Voted
DSD
2005
IEEE
15 years 10 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...
196
Voted
SRDS
2010
IEEE
15 years 2 months ago
2010
IEEE
