Login / Signup

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.

Yuanrui ZhangHengyang WuYixiang ChenFrédéric Mallet
Published in: Sci. Comput. Program. (2021)
Keyphrases
  • dynamic logic
  • automated verification
  • computer systems
  • model checking
  • asynchronous circuits
  • multi agent
  • data model
  • knowledge representation
  • distributed systems
  • formal verification
  • concurrent systems