A games-based foundation for compositional software model checking

Authors:
Robert Tennent;Dan R. Ghica
Affiliations:
-;-
Venue:
A games-based foundation for compositional software model checking
Year:
2003

Citing 0
Cited 3

The regular-language semantics of second-order idealized ALGOL

Theoretical Computer Science
Syntactic control of concurrency

Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Compositional model extraction for higher-order concurrent programs

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract