scientific article; zbMATH DE number 2185683

MaRDI QIDQ3024862zbMATH OpenFDO

Authors Richard Boulton

Publication date 4 July 2005

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Describes a project that uses

Uses Software

• HOL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024862)