Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.

Lukas Armborst Sophie Lathouwers Marieke Huisman

Published in: iFM (2023)

Keyphrases

supply chain
abductive inference
object oriented
explanation based learning
external forces
hypothesis formation
learning objects
information retrieval
moral hazard
adverse selection
search algorithm
expert systems
digital images
deductive reasoning