Publication:2729088

zbMath0971.68576MaRDI QIDQ2729088

Amir Pnueli, Tamarah Arons

Publication date: 4 November 2001

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures