Login / Signup
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