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