scientific article
From MaRDI portal
Publication:2729073
zbMath0971.68638MaRDI QIDQ2729073
Mike Gordon, Louise Abigail Dennis, Graham P. Collins, Michael Norrish, Konrad Slind, Graham Robinson, Tom Melham, Richard J. Boulton
Publication date: 6 November 2001
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)
Related Items
Verification of clock synchronization algorithms: experiments on a combination of deductive tools ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Providing a formal linkage between MDG and HOL ⋮ Linear Arithmetic with Stars ⋮ Hidden verification for computational mathematics ⋮ Integrating external deduction tools with ACL2 ⋮ PROSPER ⋮ Combining Isabelle and QEPCAD-B in the Prover’s Palette