SPEAR Modular Arithmetic Format

Application domain/field

Type of tool

Format for the SPEAR theorem prover

Internals

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

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.