Login / Signup
Verification of High-Level Transformations with Inductive Refinement Types.
Ahmad Salim Al-Sibahi
Thomas P. Jensen
Aleksandar S. Dimovski
Andrzej Wasowski
Published in:
CoRR (2018)
Keyphrases
</>
high level
low level
database
inductive learning
artificial intelligence
real time
data mining
machine learning
information systems
programming language
image processing
knowledge representation
model checking
temporal logic
signature verification
formal verification