Login / Signup
VeriFly: On-the-fly Assertion Checking via Incrementality.
Miguel A. Sanchez-Ordaz
Isabel Garcia-Contreras
Victor Perez-Carrasco
José F. Morales
Pedro López-García
Manuel V. Hermenegildo
Published in:
CoRR (2021)
Keyphrases
</>
data mining
learning algorithm
artificial intelligence
consistency checking
data sets
high level
feature space
distributed systems
integrity constraints
constraint checking
language generation