Validating mathematical theorems and algorithms with RISCAL

DOI10.1007/978-3-319-96812-4_21MaRDI QIDQ1798974zbMATH OpenOpenAlexFDO

Authors Wolfgang Schreiner

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-96812-4_21

zbMATH Keywords

model checkingformal specificationfalsification

Mathematics Subject Classification ID

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

Recommendations

• Concrete abstractions. Formalizing and analyzing discrete theories and algorithms with the RISCAL model checker
• The PlusCal Algorithm Language
• Reasoning Support for Casl with Automated Theorem Proving Systems
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 549074

Cited in

(3)

• The PlusCal Algorithm Language
• scientific article; zbMATH DE number 2080213 (Why is no real title available?)
• RISCAL

Describes a project that uses

Uses Software

• Nitpick

This page was built for publication: Validating mathematical theorems and algorithms with RISCAL

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