default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 35
Volume 35, Number 1, August 2009
- Aarti Gupta
, Sharad Malik:
Preface. 1 - The CAV award. 2-3
- Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. 4-5 - Himanshu Jain, Edmund M. Clarke, Orna Grumberg:
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. 6-39 - Cindy Eisner, Amir Nahir, Karen Yorav:
Functional verification of power gated designs by compositional reasoning. 40-55 - Per Bjesse:
Word level bitwidth reduction for unbounded hardware model checking. 56-72 - Akash Lal, Thomas W. Reps:
Reducing concurrent analysis under a context bound to sequential analysis. 73-97 - André Platzer, Edmund M. Clarke:
Computing differential invariants of hybrid systems as fixedpoints. 98-120
Volume 35, Number 2, October 2009
- Laura Bozzelli, Salvatore La Torre:
Decision problems for lower/upper bound parametric timed automata. 121-151 - Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz:
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. 152-189 - Alain Girault, Éric Rutten:
Automating the addition of fault tolerance with discrete controller synthesis. 190-225
Volume 35, Number 3, December 2009
- Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang:
Foreword: Special issue on numerical software verification. 227-228 - Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? 229-264 - Matthieu Martel:
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. 265-278 - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. 279-323 - Tuba Yavuz-Kahveci, Tevfik Bultan:
Action Language verifier: an infinite-state model checker for reactive software specifications. 325-367 - Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Summarization for termination: no return! 369-387 - Mirko Conrad:
Testing-based translation validation of generated code in the context of IEC 61508. 389-401
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
