Sciweavers

CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
15 years 19 days ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
75
Voted
DATE
2006
IEEE
97views Hardware» more  DATE 2006»
15 years 20 days ago
Monolithic verification of deep pipelines with collapsed flushing
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
Roma Kane, Panagiotis Manolios, Sudarshan K. Srini...