ReLo: a Dynamic Logic to Reason About Reo Circuits.

Erick Simas Grilo Bruno Lopes

Published in: CoRR (2023)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
multiple input
high speed
agent programming
propositional dynamic logic
general purpose
digital circuits
analog circuits
logic synthesis
first order logic