33 search results - page 2 / 7 » From Livingstone to SMV |
CAV
2001
Springer
14 years 5 days ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
APSEC
1999
IEEE
14 years 26 days ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
CHARME
2001
Springer
14 years 5 days ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
FLAIRS
1998
13 years 10 months ago
1998
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...