Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover

DOI10.1007/10930755_11zbMath1279.68284OpenAlexW1550905057MaRDI QIDQ3559766

Hasan Amjad

Publication date: 7 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/10930755_11

Mathematics Subject Classification ID

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

Related Items (4)

Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Providing a formal linkage between MDG and HOL ⋮ Automatic verification of reduction techniques in higher order logic ⋮ LCF-style Platform based on Multiway Decision Graphs

Uses Software

• PVS

This page was built for publication: Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover