5863 search results - page 73 / 1173 » On Model-Checking of P Systems |
102
click to vote
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
118
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
89
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
108
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
94
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...