59 search results - page 3 / 12 » Analysis of the Suzuki-Kasami Algorithm with the Maude Model... |
IPPS
2008
IEEE
14 years 5 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
ENTCS
2008
13 years 5 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
IFIP
2010
Springer
13 years 18 days ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...