Login / Signup
A Logic-Inspired Approach to Reconfigurable System Modelling.
Alessandro Maggi
Rocco De Nicola
Joseph Sifakis
Published in:
From Reactive Systems to Cyber-Physical Systems (2019)
Keyphrases
</>
classical logic
logic programming
modal logic
general purpose
low cost
reconfigurable architecture
sound and complete axiomatization
asynchronous circuits
nonmonotonic logics
formal theory
abductive reasoning
proof theory
delay insensitive
floating gate
systolic array
causal reasoning
probabilistic logic