scientific article; zbMATH DE number 1330907
From MaRDI portal
zbMath0931.68018MaRDI QIDQ4261335
Publication date: 2 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)
Related Items
Introduction to Model Checking, Data structures for symbolic multi-valued model-checking, An approach for lifetime reliability analysis using theorem proving, Unnamed Item, A satisfiability procedure for quantified Boolean formulae, Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking, Verification and enforcement of access control policies, Thread-parallel integrated test pattern generator utilizing satisfiability analysis, Implementation of supervisory control using extended finite-state machines, A symbolic algorithm for lazy synthesis of eager strategies, LCF-style Platform based on Multiway Decision Graphs
