Validating mathematical theorems and algorithms with RISCAL

DOI10.1007/978-3-319-96812-4_21zbMath1417.68192OpenAlexW2883248299MaRDI 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 specificationmodel checkingfalsification

Mathematics Subject Classification ID

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

Related Items (1)

RISCAL

Uses Software

• Nitpick

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