tlooto
Sign up
Open AccessComputer Science

A stubborn attack on state explosion

A. Valmari

1990.6.18FORMAL METHODS IN SYSTEM DESIGN

DOI: 10.1007/bf00709154

tlooto Summary

The LTL-preserving stubborn set method is presented for reducing the amount of work needed in the automatic verification of concurrent systems with respect to linear-time temporal logic specifications.

Abstract

Abstract is not available.

Citation format

VALMARI, A. A stubborn attack on state explosion. FORMAL METHODS IN SYSTEM DESIGN, 1990, 1: 297–322.