Formal Methods in System Design 3/2010 | springerprofessional.de

Springer Professional

Top

Formal Methods in System Design

Content (4 Articles)

2009 CAV award announcement

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications

Kai Lampka, Markus Siegle, Joern Ossowski, Christel Baier

Context-aware counter abstraction

Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

A game-based abstraction-refinement framework for Markov decision processes

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Special Section on 'Analogue Verification'

Advertisement

Current Publications

Formal Methods in System Design 1-3/2024
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

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner