Time Domain Verification of Oscillator Circuit Properties
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[2] Lars Hedrich,et al. On Discrete Modeling and Model Checking for Nonlinear Analog Systems , 2002, CAV.
[3] G. Frehse,et al. Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[4] Oded Maler,et al. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques , 2004, FMCAD.
[5] Kim Guldstrand Larsen,et al. Computer Aided Verification , 2002, Lecture Notes in Computer Science.
[6] Bruce H. Krogh,et al. Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..
[7] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[8] Roberto Bagnara,et al. Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library , 2002, SAS.
[9] B. Krogh,et al. Towards formal verification of analog designs , 2004, ICCAD 2004.
[10] Eugene Asarin,et al. The d/dt Tool for Verification of Hybrid Systems , 2002, CAV.
[11] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.