Publication:2754092
From MaRDI portal
zbMath0974.68554MaRDI QIDQ2754092
Publication date: 11 November 2001
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A parallelization scheme based on work stealing for a class of SAT solvers, 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
Uses Software