Sign in

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers.

Nikolai KosmatovFonenantsoa MauricaJulien 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