Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.

Nikolai Kosmatov Fonenantsoa Maurica Julien Signoles

Published in: RV (2020)

Keyphrases

lightweight
multi agent systems
cost effective
computationally expensive
desirable properties
artificial intelligence
expert systems
information technology
multiresolution
consistency checking