Sign in
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.
Stella Lau
Victor B. F. Gomes
Kayvan Memarian
Jean Pichon-Pharabod
Peter Sewell
Published in:
CAV (1) (2019)
Keyphrases
</>
graphical representation
semantic information
logic programming
feature selection
high level
data sets
machine learning
genetic algorithm
information systems
natural language
data model
domain knowledge
software tools
reference frame
default reasoning
formal semantics