default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 16

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 16, Number 1, January 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Gopalakrishnan00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Gopalakrishnan00
Ganesh Gopalakrishnan:
Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Eiriksson00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Eiriksson00
Ásgeir Th. Eiríksson:
The Formal Design of 1M-gate ASICs. 7-22
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SheeranS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SheeranS00
Mary Sheeran, Gunnar Stålmarck:
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. 23-58
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MansouriV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MansouriV00
Nazanin Mansouri, Ranga Vemuri:
Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs. 59-91
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MokkedemHJG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MokkedemHJG00
Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan:
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. 93-119

Volume 16, Number 2, March 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Hanna00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Hanna00
F. Keith Hanna:
Reasoning About Analog-Level Implementations of Digital Systems. 127-158
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/EsparzaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/EsparzaM00
Javier Esparza, Stephan Melzer:
Verification of Safety Properties Using Integer Programming: Beyond the State Equation. 159-189
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrzozowskiZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrzozowskiZ00
Janusz A. Brzozowski, Hao Zhang:
Delay-Insensitivity and Semi-Modularity. 191-218

Volume 16, Number 3, June 2000

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BjornerBCFMSU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BjornerBCFMSU00
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. 227-270
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Harrison00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Harrison00
John Harrison:
Floating Point Verification in HOL Light: The Exponential Function. 271-305
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DevillersGRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DevillersGRV00
Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager:
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. 307-320

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.