858 search results - page 3 / 172 » Formal Verification of Digital Systems |
CHARME
2003
Springer
13 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
ENTCS
2008
13 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
DRM
2006
Springer
13 years 10 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
VLSID
2003
IEEE
14 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
FM
1999
Springer
13 years 10 months ago
1999
Springer
