Specification Verification and Controller Synthesis Using (γ, δ)-Similarity.

Armin Pirastehzad Arjan van der Schaft Bart Besselink

Published in: CDC (2023)

Keyphrases

controller synthesis
formal verification
formal methods
autonomic computing systems
asynchronous circuits
similarity measure
model checking
protocol specification
formal specification