Alexandre Bronstein

• MLP
• String-functional semantics for formal verification of synchronous circuits