Abstract | ||
---|---|---|
IntroductionFormal validation of distributed systems relies on several specification formalisms(such as the international standards lotos [15] or sdl [16]), and it requires differentkinds of tools to cover the whole development process. Presently, a wide range oftools are available, either commercial or academic ones, but none of them fulfills initself all the practical needs.Commercial tools (like Objectgeode [20], sdt [1], statemate [14],etc.) provideseveral development facilities,... |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/10722167_41 | CAV |
Keywords | Field | DocType |
validation environment,timed asynchronous systems,development process,asynchronous system,internal standard,distributed system | Asynchronous communication,Software engineering,Computer science,Formal validation,Theoretical computer science,Intermediate language,Deadlock prevention algorithms,Partial order reduction,Systems architecture,Rotation formalisms in three dimensions,Embedded system,Formal verification | Conference |
ISBN | Citations | PageRank |
3-540-67770-4 | 31 | 1.68 |
References | Authors | |
16 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Bozga | 1 | 2100 | 127.83 |
Jean-Claude Fernandez | 2 | 31 | 1.68 |
Lucian Ghirvu | 3 | 202 | 12.69 |
Susanne Graf | 4 | 400 | 24.11 |
Jean-pierre Krimm | 5 | 163 | 10.57 |
Laurent Mounier | 6 | 1187 | 79.54 |