858 search results - page 1 / 172 » Formal Verification of Digital Systems |
DSD
2004
IEEE
13 years 9 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 10 months ago
1997
IEEE
EUROMICRO
1996
IEEE
13 years 10 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 9 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...