Packages tagged verification

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (2), program (2), analysis (1), apache (1), formal-methods (1), fortran (1), language (1), math (1), mathematics (1), maths (1), mpl (1), theorem-provers (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
LPPaver20.0An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2022-10-26JunaidRasheed
camfort280.0CamFort - Cambridge Fortran infrastructure (analysis, apache, fortran, language, library, program, verification)2022-10-12DominicOrchard, mdanish, madgen, raehik