Verifying linear temporal properties of data insensitive controllers using finite instantiations

Authors:
R. Hojati;D. L. Dill;R. K. Brayton
Affiliations:
Univ. of California, Berkeley;Stanford Univ., Standford, CA;Univ. of California, Berkeley
Venue:
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems
Year:
1997

A Unifying Approach to Data-Independence

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On model checking data-independent systems with arrays without reset

Theory and Practice of Logic Programming
A Semantic Condition for Data Independence and Applications in Hardware Verification

Electronic Notes in Theoretical Computer Science (ENTCS)
On a semantic definition of data independence

TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
NuMDG: a new tool for multiway decision graphs construction

Journal of Computer Science and Technology - Special issue on natural language processing

Hi-index	0.00