Login / Signup
Separating Map Variables in a Logic-Based Intermediate Verification Language.
Daniel Dietsch
Matthias Heizmann
Jochen Hoenicke
Alexander Nutz
Andreas Podelski
Published in:
NETYS (2021)
Keyphrases
</>
natural language
programming language
maximum a posteriori
information systems
knowledge representation
language learning
object oriented programming
random variables
model checking
databases
mobile robot
variable selection
input variables
face verification
target language
operational semantics