Deductive Verification of Programs with Underspecified Semantics by Model Extraction.

Eduard Kamburjan Nathan Wasser

Published in: CoRR (2021)

Keyphrases

theoretical framework
experimental data
prior knowledge
mathematical model
face recognition
finite state machines
conceptual model
statistical model
computational model
multi agent
parameter estimation
object oriented
model checking
formal model
machine learning
formal semantics
semantic models