Using asynchronous Büchi automata for efficient automatic verification of concurrent systems

Authors:
Doron Peled;Wojciech Penczek
Affiliations:
-;-
Venue:
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Year:
1995

Citing 0
Cited 3

On Stubborn Sets in the Verification of Linear Time Temporal Properties

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Modular Verification for a Class of PLTL Properties

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract