Program
Verification
Book

SPEAR Modular Arithmetic Format

Application domain/field

Theorem proving
Arithmetic

Type of tool

Format for the SPEAR theorem prover

Internals

supports bit-vectors only up to 64 bits

Specification format

Links

Documentation: https://www.cs.ubc.ca/~babic/doc/spear_modarith.pdf
Last commit date: 21 December 2007

Related papers

https://doi.org/10.1007/978-3-540-73368-3_41 (CAV 2007)

Related tools

Used in SPEAR

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.