scientific article

zbMath0974.68554MaRDI QIDQ2754092

Miroslav N. Velev

Publication date: 11 November 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Algebraic models of correctness for abstract pipelines., Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors., Efficient Information-Flow Verification Under Speculative Execution, A parallelization scheme based on work stealing for a class of SAT solvers

Uses Software

• Velev SAT Benchmarks