scientific article
From MaRDI portal
Publication:3329397
zbMath0541.94038MaRDI QIDQ3329397
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatic verificationasynchronous circuitmodel checkerspecifications for circuits in a branching time temporal logic
Abstract data types; algebraic specification (68Q65) Applications of graph theory to circuits and networks (94C15) Theory of operating systems (68N25)
Related Items (2)
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus ⋮ Hierarchical verification of asynchronous circuits using temporal logic
This page was built for publication:
