Verifying linear temporal properties of data insensitive controllers using finite instantiations

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 60-73
https://doi.org/10.1007/978-0-387-35064-6_5

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Automatic datapath abstraction in hardware systems
Published by Springer Nature ,1995
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers, 1986
Expressing interesting properties of programs in propositional temporal logic
Published by Association for Computing Machinery (ACM) ,1986