External Links

    Journal: Formal Methods in System Design

    Volume 16, Issue 2

    127 -- 158F. Keith Hanna. Reasoning About Analog-Level Implementations of Digital Systems
    159 -- 189Javier Esparza, Stephan Melzer. Verification of Safety Properties Using Integer Programming: Beyond the State Equation
    191 -- 218Janusz A. Brzozowski, H. Zhang. Delay-Insensitivity and Semi-Modularity
    runs on