5863 search results - page 68 / 1173 » On Model-Checking of P Systems |
141
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
90
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
115
click to vote
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
ASM
2008
ASM
15 years 2 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
133
Voted
IANDC
2006
15 years 22 days ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...