Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540551799, 9783540467632

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An algebra of Boolean processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_42 ◽

1992 ◽

pp. 454-465 ◽

Author(s):

Costas Courcoubetis ◽

Susanne Graf ◽

Joseph Sifakis

Download Full-text

An overview and synthesis on timed process algebras

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_36 ◽

1992 ◽

pp. 376-398 ◽

Author(s):

Xavier Nicollin ◽

Joseph Sifakis

Keyword(s):

Process Algebras

Download Full-text

A top down approach to the formal specification of SCI cache coherence

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_9 ◽

1992 ◽

pp. 83-91 ◽

Author(s):

Stein Gjessing ◽

Stein Krogdahl ◽

Ellen Munthe-Kaas

Keyword(s):

Formal Specification ◽

Cache Coherence ◽

Download Full-text

From data structure to process structure

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_24 ◽

1992 ◽

pp. 244-254 ◽

Author(s):

Ed Brinksma ◽

Keyword(s):

Data Structure ◽

Process Structure

Download Full-text

Deciding properties of regular real timed processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_41 ◽

1992 ◽

pp. 443-453 ◽

Author(s):

Uno Holmer ◽

Kim Larsen ◽

Wang Yi

Download Full-text

Mechanically checked proofs of kernel specifications

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_8 ◽

1992 ◽

pp. 70-82 ◽

Author(s):

William R. Bevier ◽

JØrgen F. SØgaard-Andersen

Download Full-text

Using partial orders for the efficient verification of deadlock freedom and safety properties

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_32 ◽

1992 ◽

pp. 332-342 ◽

Author(s):

Patrice Godefroid ◽

Pierre Wolper

Keyword(s):

Partial Orders ◽

Safety Properties ◽

Deadlock Freedom ◽

Efficient Verification

Download Full-text

The Concurrency Workbench with priorities

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_15 ◽

1992 ◽

pp. 147-157 ◽

Author(s):

Claus Torp Jensen

Keyword(s):

Concurrency Workbench

Download Full-text

Efficient algorithms for verification of equivalences for probabilistic processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_30 ◽

1992 ◽

pp. 310-321 ◽

Author(s):

Linda Christoff ◽

Ivan Christoff

Keyword(s):

Efficient Algorithms ◽

Probabilistic Processes

Download Full-text

Temporal precondition verification of design transformations

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_13 ◽

1992 ◽

pp. 125-135

Author(s):

Ranga Vemuri ◽

Anuradha Sridhar

Download Full-text