Sciweavers

2 search results - page 1 / 1
» Verifying the performance of the PCI local bus using symboli...
Sort
View
ICCD
1995
IEEE
109views Hardware» more  ICCD 1995»
13 years 7 months ago
Verifying the performance of the PCI local bus using symbolic techniques
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
Sérgio Vale Aguiar Campos, Edmund M. Clarke...
POPL
2009
ACM
14 years 4 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge