16 search results - page 1 / 4 » Verifying Large-Scale Multiprocessors Using an Abstract Veri... |
DAC
1999
ACM
14 years 5 months ago
1999
ACM
ICSE
1999
IEEE-ACM
13 years 8 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 ...
CAV
1998
Springer
13 years 8 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
FORTE
1997
13 years 5 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
FC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...