Login / Signup

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.

Simon LunelStefan MitschBenoît BoyerJean-Pierre Talpin
Published in: FM (2019)
Keyphrases
  • computer controlled
  • dynamic logic
  • asynchronous circuits
  • computer systems
  • parallel processing