A language for compositional specification and verification of finite state hardware controllers

journal contribution

posted on 2004-01-01, 00:00 authored by E. M. Clarke, D. E. Long, K. L. McMillan

Computer Science Department

History

Publisher Statement

All Rights Reserved

Date

2004-01-01

Usage metrics

Categories

Other information and computing sciences not elsewhere classified

Keywords

Programming languages (Electronic computers)Computer input-output equipment.Information and Computing Sciences not elsewhere classified

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC