858 search results - page 1 / 172 » Formal Verification of Digital Systems |
DSD
2004
IEEE
13 years 8 months ago
2004
IEEE
CAV
1990
Springer
13 years 9 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
VLSID
1997
IEEE
13 years 9 months ago
1997
IEEE
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...