Validating mathematical theorems and algorithms with RISCAL

DOI10.1007/978-3-319-96812-4_21zbMath1417.68192MaRDI QIDQ1798974

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

formal specification; model checking; falsification

Mathematics Subject Classification ID

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

Related Items

RISCAL

Uses Software

• Nitpick