Wolfgang Schreiner

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

© 2023 Springer Texts & Monographs in Symbolic Computation

SpringerLink Page
Buy hardcover or eBook version (free PDF access from JKU campus network)

Errata
Errors in the published version of the book.

• RISCAL Software
• RISCAL Models
  • Chapter 1: Theories and Algorithms: gcd.txt
  • Chapter 2: Searching and Sorting: arrays.txt
  • Chapter 3: Sets, Relations, and Graphs: sets.txt
  • Chapter 4: Propositional Logic: logic.txt
  • Chapter 5: Big Number and Polynomial Arithmetic: numbers.txt, mpoly.txt
  • Chapter 6: Puzzles and Games: chess.txt, hanoi.txt, crab.txt, goat.txt, husbands.txt, nim.txt, frogs.txt
  • Chapter 7: Concurrent Systems: peterson.txt, abit.txt, allocator.txt

---

Wolfgang Schreiner

Last modified: May 25, 2023