Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Methods in System Design

Issue 2/2022

Content (7 Articles)

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking

G. Cabodi, P. E. Camurati, M. Palena, P. Pasini

Control strategies for off-line testing of timed systems

Léo Henry, Thierry Jéron, Nicolas Markey

LTL model checking of self modifying code

Tayssir Touili, Xin Ye

Functional synthesis via input–output separation

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Open Access

Specifiable robustness in reactive synthesis

Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman

Assumption-based Runtime Verification

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Open Access Correction

Correction: Parameterized verification of leader/follower systems via first-order temporal logic

G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa

Feb 22
Issue: 1/2022
Special Issue on CAV 2017
Jun 22
Issue: 3/2022
Special issue 'In Memory of Ed Clarke'

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits