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

Springer Professional

Top

Formal Methods in System Design

Content (3 Articles)

Performability assessment by model checking of Markov reward models

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Pushdown module checking

Laura Bozzelli, Aniello Murano, Adriano Peron

Special issue on Numerical Software Verification / Edited by Franjo Ivančić, Sriram Sankaranarayanan and Chao Wang

Special Section on 'Analogue Verification'

Advertisement

Current Publications

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

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner