Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.

Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles

Browse the full RV paper archive.