125 search results - page 2 / 25 » Bounded Model Checking of Compositional Processes |
CSAC
2006
13 years 6 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
ISORC
2005
IEEE
13 years 11 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
COMPOS
1997
Springer
13 years 9 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
SIGSOFT
2007
ACM
14 years 6 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...