Mentions légales du service

Skip to content

Basic RAC for why3execute and CE validation

Benedikt Becker requested to merge start-rac into master

Add concrete and abstract runtime assertion checking (RAC) to the Why3 interpreter Pinterp, and use it to derive validated counterexamples.

Edited by Benedikt Becker

Merge request reports