Formal Methods in System Design 2/2001 | springerprofessional.de

Springer Professional

nach oben

Formal Methods in System Design

Inhalt (5 Artikel)

Introduction

Introduction: Special Issue on CAV '97

Orna Grumberg

Partial-Order Reduction in Symbolic State-Space Exploration

R. Alur, R.K. Brayton, T.A. Henzinger, S. Qadeer, S.K. Rajamani

Parallelizing the Murϕ Verifier

Ulrich Stern, David L. Dill

A New Heuristic for Bad Cycle Detection Using BDDs

R. H. Hardin, R. P. Kurshan, S. K. Shukla, M. Y. Vardi

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Ausgabe: 1/2001

Ausgabe: 3/2001

Anzeige

Aktuelle Ausgaben

Formal Methods in System Design 2-3/2022
Special issue on 'Synthesis Progress'
Formal Methods in System Design 1/2022
Special Issue 'FM2021'
Formal Methods in System Design 3/2022
Special issue 'In Memory of Ed Clarke'
Formal Methods in System Design 2/2022
Formal Methods in System Design 1/2022
Special Issue on CAV 2017
Formal Methods in System Design 1-3/2021
Formal Methods in System Design 3/2021
Formal Methods in System Design 1-2/2021
Special Issue:'Best Papers from FM 2019'
Formal Methods in System Design 3/2021
Formal Methods in System Design 2/2021
Special Issue on FMCAD 2018

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner