Cover Image

Verifying concurrent processes using temporal logic /

Bibliographic Details
Main Author:	Hailpern, Brent T. (Brent Tzion), 1955-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 129.
Subjects:	Parallel processing (Electronic computers) Computer programs > Verification. vérification logiciel. programme parallèle. programmation structurée. heuristique. protocole réseau. allocation ressource. logique temporelle. Parallélisme (Informatique) Logiciels > Vérification. logiciel > vérification > logique temporelle > multitraitement. Parallelverarbeitung. Programmverifikation. Programmierung. Verifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
by: Rao, Josyula Ramachandra, 1962-
Published: (1995)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /
by: Godefroid, Patrice
Published: (1996)

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday /
Published: (2003)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Program construction : international summer school /
Published: (1979)

A survey of verification techniques for parallel programs /
Published: (1985)

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings /
Published: (1996)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Logics for concurrency : structure versus automata /
Published: (1996)

Temporal verification of reactive systems : safety /
by: Manna, Zohar
Published: (1995)

Concurrency verification : introduction to compositional and noncompositional methods /
Published: (2001)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Program construction : international summer school /
Published: (1979)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)

Multicore software development /
by: Oshana, Robert
Published: (2015)

The data parallel programming model : foundations, HPF realization, and scientific applications /
Published: (1996)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Modular specification and verification of object-oriented programs /
by: Müller, Peter, 1972-
Published: (2002)

Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994 : proceedings /
Published: (1995)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Advances in randomized parallel computing /
Published: (1999)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Partial order methods in verification : DIMACS workshop July 24-26, 1996 /
Published: (1997)

Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /
Published: (1977)

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings /
Published: (1993)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Programming massively parallel processors : a hands-on approach /
by: Kirk, David, 1960-, et al.
Published: (2016)

Parle '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings /
Published: (1993)

Practical UVM : step by step with IEEE 1800.2 /
by: Vasudevan, Srivatsa
Published: (2020)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
Published: (1999)

Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23-25, 1996 : proceedings /
Published: (1996)