Volume 26, Issue 1 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 26, Issue 1

January 2005

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Introduction: Special Issue on Partial Order in Formal Methods
Doron Peled
OriginalPaper Pages: 5 - 6
Deciding Global Partial-Order Properties
Rajeev Alur
Ken McMillan
Doron Peled
OriginalPaper Pages: 7 - 25
Difficult Configurations—On the Complexity of LTrL
Igor Walukiewicz
OriginalPaper Pages: 27 - 43
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Kimmo Varpaaniemi
OriginalPaper Pages: 45 - 67