Volume 26; Issue 1

Formal Methods in System Design

Volume 26; Issue 1
1

Introduction: Special Issue on Partial Order in Formal Methods

Doron Peled
Journal:
Formal Methods in System Design
Year:
2005
Language:
english
File:
PDF, 79 KB
english, 2005
2

Deciding Global Partial-Order Properties

Rajeev Alur, Ken McMillan, Doron Peled
Journal:
Formal Methods in System Design
Year:
2005
Language:
english
File:
PDF, 913 KB
english, 2005
3

Difficult Configurations—On the Complexity ofLTrL

Igor Walukiewicz
Journal:
Formal Methods in System Design
Year:
2005
Language:
english
File:
PDF, 477 KB
english, 2005
4

On Stubborn Sets in the Verification of Linear Time Temporal Properties

Kimmo Varpaaniemi
Journal:
Formal Methods in System Design
Year:
2005
Language:
english
File:
PDF, 554 KB
english, 2005