scientific article; zbMATH DE number 1798182
From MaRDI portal
Publication:4553255
zbMath0996.68588MaRDI QIDQ4553255
Miroslav N. Velev, Randal E. Bryant
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)
Related Items (4)
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. ⋮ Producing and verifying extremely large propositional refutations ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ EVC
Uses Software
This page was built for publication:
