5863 search results - page 72 / 1173 » On Model-Checking of P Systems |
109
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
104
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
105
click to vote
IJFCS
2006
15 years 22 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
103
Voted
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
108
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...