Validating the PSL/Sugar semantics using automated reasoning

DOI10.1007/S00165-003-0014-5zbMath1093.68603OpenAlexW2081042767MaRDI QIDQ706502

Michael J. C. Gordon

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-003-0014-5

zbMATH Keywords

Theorem provingSemanticsHOLModel checkingAccelleraFormal verificationHigher-order logicProperty languagePSLSugar

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Functional Specification of Hardware via Temporal Logic ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon

Uses Software

• FoCs
• HOL

This page was built for publication: Validating the PSL/Sugar semantics using automated reasoning