activity
20122021
most citedModel Synthesis for Communication Traces of System-on-Chip Designs

1 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems

Ping Hou

We combine quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with temporal logic for reasoning about the temporal…