1492 search results - page 61 / 299 » Automatic Software Model Checking Using CLP |
113
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
119
click to vote
SIGSOFT
2007
ACM
16 years 2 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...
111
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
125
click to vote
WICSA
2007
15 years 2 months ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
135
click to vote
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...