525 search results - page 36 / 105 » Model Checking Systems of Replicated Processes with Spin |
101
click to vote
IJFCS
2006
15 years 14 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...
119
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
102
click to vote
FDL
2003
IEEE
15 years 5 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
100
click to vote
ENTCS
2006
15 years 14 days ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
132
click to vote
CN
2006
15 years 15 days ago
2006
Performance critical services over Internet often rely on geographically distributed architectures of replicated servers. Content Delivery Networks (CDN) are a typical example whe...