scientific article

zbMath0978.68764MaRDI QIDQ2769591

Miroslav N. Velev

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310252

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

Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.

Uses Software

• Velev SAT Benchmarks
• EVC