478 search results - page 1 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
JUCS
2007
13 years 4 months ago
2007
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
RSP
1999
IEEE
13 years 9 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
FTRTFT
1994
Springer
13 years 9 months ago
1994
Springer
NCA
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...