Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540551799, 9783540467632

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 71

Author(s):

Patrice Godefroid ◽

Pierre Wolper

Keyword(s):

Partial Orders ◽

Safety Properties ◽

Deadlock Freedom ◽

Efficient Verification

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 ◽

Cited By ~ 47

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 ◽

Cited By ~ 3

Author(s):

Stein Gjessing ◽

Stein Krogdahl ◽

Ellen Munthe-Kaas

Keyword(s):

Formal Specification ◽

Cache Coherence ◽

Top Down

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

Author(s):

Linda Christoff ◽

Ivan Christoff

Keyword(s):

Efficient Algorithms ◽

Probabilistic Processes

Download Full-text

An algebra of Boolean processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_42 ◽

1992 ◽

pp. 454-465 ◽

Cited By ~ 2

Author(s):

Costas Courcoubetis ◽

Susanne Graf ◽

Joseph Sifakis

Download Full-text

Error diagnosis in finite communicating systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-55179-4_12 ◽

1992 ◽

pp. 114-124 ◽

Cited By ~ 2

Author(s):

Anne Rasse

Keyword(s):

Error Diagnosis

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

From data structure to process structure

Deciding properties of regular real timed processes

Mechanically checked proofs of kernel specifications

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

An overview and synthesis on timed process algebras

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

The Concurrency Workbench with priorities

Efficient algorithms for verification of equivalences for probabilistic processes

An algebra of Boolean processes

Error diagnosis in finite communicating systems

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications