DMCA
Monadic Second-order Logic for Parameterized Verification (1994)
by
Jakob Jensen
,
Jakob Jensen
,
Michael Jørgensen
,
Michael Jrgensen
,
Nils Klarlund
,
Nils Klarlund
| Venue: | Basic Research in Computer Science |
| Citations: | 2 - 1 self |
BibTeX
@TECHREPORT{Jensen94monadicsecond-order,
author = {Jakob Jensen and Jakob Jensen and Michael Jørgensen and Michael Jrgensen and Nils Klarlund and Nils Klarlund},
title = {Monadic Second-order Logic for Parameterized Verification},
institution = {Basic Research in Computer Science},
year = {1994}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Much work in automatic verification considers families of similar finite-state systems. But an often overlooked property is that sometimes a single finite-state system can be used to describe a parameterized, infinite family of systems. Thus verification of unbounded state spaces can take place by reduction to finite ones.
