Journal: Formal Methods in System Design

Volume 33, Issue 1-3

1 -- 27Roman Gershman, Maya Koifman, Ofer Strichman. An approach for extracting a small unsatisfiable core
29 -- 44Tianlong Gu, Huadong Liu. The symbolic OBDD scheme for generating mechanical assembly sequences
45 -- 84Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-Fran├žois Raskin. Robust safety of timed automata
85 -- 115Jochen Eisinger, Felix Klaedtke. Don t care words with an application to the automata-based approach for real addition