Model checking algorithms for analog verification

Proceedings - Design Automation Conference

Volumn , Issue , 2002, Pages 542-547

  Hartong, Walter ^a   Hedrich, Lars ^a   Barke, Erich ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

Formal Methods; Model Checking; Nonlinear Analog Systems

Indexed keywords

ALGORITHMS; DIGITAL COMPUTERS; HYBRID COMPUTERS; NONLINEAR SYSTEMS;

ANALOG SYSTEMS;

ANALOG COMPUTERS;

EID: 0036049096     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dac.2002.1012684     Document Type: Conference Paper

References (11)

1. Discrete abstractions of hybrid systems
2. Symbolic model checking for sequential circuit verification
3. The algorithms behind gaio set oriented numerical methods for dynamical systems
4. Cad-based electric circuit modeling in industry, part i: Mathemetical structure and index of network equations
5. Approaches to formal verification of analog circuits
6. Algorithmic analysis of nonlinear hybrid systems
7. Analysis of digital circuits trough symbolic reduction
8. Numerical methods for differential algebraic equations