Antti Valmari

A stubborn attack on state explosion

Antti Valmari · Formal Methods in System Design · 1992 · 575 citations

Computing, Cybersecurity, Dynamical Systems +2

On-the-fly verification with stubborn sets

Antti Valmari · Lecture notes in computer science · 1993 · 97 citations

Computing, Computer Science, Computer Systems +11

Stubborn sets for reduced state generation

Antti Valmari · 1991 · 80 citations

Engineering, Computer Systems, Fault-tolerant Computing +9

An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm

Antti Valmari, Martti Tienari · 1991 · 62 citations

Engineering, Computer Engineering, Computer Science +14

Compositional failure-based semantic models for Basic LOTOS

Antti Valmari, Martti Tienari · Formal Aspects of Computing · 1995 · 60 citations · Full text

Engineering, Computer Engineering, Computer Science +12