Temporal logic based hardware description and its verification with Prolog
- 1 June 1983
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 1 (2) , 195-203
- https://doi.org/10.1007/bf03037426
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Hardware Specification with Temporal Logic: An ExampleIEEE Transactions on Computers, 1982
- A formal method for computer design verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- The Application of Program Verification to Hardware VerificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979