MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Mechanical Verification of Concurrent Systems with TLA." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Mechanical Verification of Concurrent Systems with TLA
by Urban Engberg, Urban Engberg, Peter Grønning, Peter Grnning, Leslie Lamport — 1992
…Mechanical Verification of Concurrent Systems with TLA Urban Engberg Aarhus University Peter…
Cited by 56 (12 self) – Add To MetaCart

Formal Verification of Interactive Systems
by José Francisco C.F. de Campos — 1997
… is aimed at the verification of concurrent and reactive systems. So, unlike PVS, this is not a general…
Add To MetaCart

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
… Science. [16] Urban Engberg, Peter Grnning, and Leslie Lamport. Mechanical verification of concurrent…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB