Fundamentals of logic and computation. With practical automated reasoning and verification

DOI10.1007/978-3-030-87882-5zbMath1489.68002OpenAlexW4206803797MaRDI QIDQ2240968

Zhé Hóu

Publication date: 4 November 2021

Published in: Texts in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-87882-5

zbMATH Keywords

verificationautomated reasoninglogiccomputation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Isabelle
• PAT

This page was built for publication: Fundamentals of logic and computation. With practical automated reasoning and verification