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

Springer Professional

Top

Formal Methods in System Design

Content (3 Articles)

Open Access

Efficient verification of railway infrastructure designs against standard regulations

Bjørnar Luteberget, Christian Johansen

Theory and methodology of assumption/commitment based system interface specification and architectural contracts

Manfred Broy

Open Access

Tightening the contract refinements of a system architecture

Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta

Special issue on Recent topics in SMT

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