5863 search results - page 27 / 1173 » On Model-Checking of P Systems |
RTSS
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
PROMAS
2007
Springer
14 years 4 months ago
2007
Springer
