783 search results - page 8 / 157 » Compositional Reasoning in Model Checking |
KR
1998
Springer
13 years 12 months ago
1998
Springer
DLOG
2007
13 years 10 months ago
2007
CSAC
2006
13 years 9 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...
CADE
2004
Springer
14 years 8 months ago
2004
Springer
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...