@inproceedings{895c56492c464c06ac294cdbd7443268,
title = "Formal verification of design correctness of sequential circuits based on theorem provers",
abstract = "After a presentation of alternative time modeling techniques, the description techniques available in OTTER, a first-order logic proof environment at the different abstraction levels are presented. A discussion is presented of the methodology envisaged for the proof of correctness and its implementation in OTTER depending on the circuit characteristics and on the reasoning technique. Some experimental results are also reported.",
author = "Paolo Camurati and Tiziana Margaria and Paolo Prinetto",
year = "1991",
language = "English",
isbn = "0818621419",
series = "Proceedings, Advanced Computer Technology, Reliable Systems and Applications",
publisher = "Publ by IEEE",
pages = "322--326",
booktitle = "Proceedings, Advanced Computer Technology, Reliable Systems and Applications",
note = "Proceedings of the 5th European Computer Conference on Advanced Computer Technology, Reliable Systems and Applications - CompEuro 91 ; Conference date: 13-05-1991 Through 16-05-1991",
}