Login / Signup
slash: A Technique for Static Configuration-Logic Identification.
Mohannad Alhanahnah
Philipp Dominik Schubert
Thomas W. Reps
Somesh Jha
Eric Bodden
Published in:
CoRR (2023)
Keyphrases
</>
machine learning
logic programming
deontic logic
asynchronous circuits
optimal configuration
identification rate
artificial intelligence
multiscale
knowledge representation
modal logic
automated reasoning
classical logic
predicate logic
linear logic