Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker

DOI10.1007/978-3-031-24934-1zbMath1515.68009MaRDI QIDQ6114445

Wolfgang Schreiner

Publication date: 11 July 2023

Published in: Texts \& Monographs in Symbolic Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Searching and sorting (68P10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete mathematics in relation to computer science (68Rxx) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker