Verification of Switch-Level Designs with Many-Valued Logic

Authors:
Reiner Hähnle;Werner Kernig
Affiliations:
-;-
Venue:
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Year:
1993

Citing 0
Cited 3

Model-checking infinite state-space systems with fine-grained abstractions using SPIN

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Automated deduction for many-valued logics

Handbook of automated reasoning
Evaluating responses containing both correct and incorrect information

MATH'08 Proceedings of the 13th WSEAS international conference on Applied mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract