783 search results - page 8 / 157 » Compositional Reasoning in Model Checking |
DLOG
2007
15 years 2 months ago
2007
146
click to vote
CSAC
2006
15 years 1 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
15 years 12 months ago
2004
Springer
TASE
2008
IEEE
15 years 6 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...