25 Years of Model Checking - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540698494, 9783540698500

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Birth of Model Checking

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_1 ◽

2008 ◽

pp. 1-26 ◽

Cited By ~ 70

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking

Download Full-text

Model Checking: From Tools to Theory

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_6 ◽

2008 ◽

pp. 89-106 ◽

Cited By ~ 6

Author(s):

Rajeev Alur

Keyword(s):

Model Checking

Download Full-text

New Challenges in Model Checking

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_4 ◽

2008 ◽

pp. 65-76 ◽

Cited By ~ 2

Author(s):

Gerard J. Holzmann ◽

Rajeev Joshi ◽

Alex Groce

Keyword(s):

Model Checking ◽

New Challenges

Download Full-text

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_12 ◽

2008 ◽

pp. 196-215 ◽

Cited By ~ 26

Author(s):

Edmund M. Clarke ◽

E. Allen Emerson

Keyword(s):

Temporal Logic ◽

Branching Time ◽

Design And Synthesis

Download Full-text

On the Merits of Temporal Testers

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_11 ◽

2008 ◽

pp. 172-195 ◽

Cited By ~ 28

Author(s):

A. Pnueli ◽

A. Zaks

Download Full-text

SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_13 ◽

2008 ◽

pp. 216-230 ◽

Cited By ~ 2

Author(s):

J. P. Queille ◽

J. Sifakis

Keyword(s):

Specification And Verification

Download Full-text

A Retrospective on Murϕ

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_5 ◽

2008 ◽

pp. 77-88

Author(s):

David L. Dill

Download Full-text

The Beginning of Model Checking: A Personal Perspective

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_2 ◽

2008 ◽

pp. 27-45 ◽

Cited By ~ 28

Author(s):

E. Allen Emerson

Keyword(s):

Model Checking ◽

Personal Perspective

Download Full-text

Fifteen Years of Formal Property Verification in Intel

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_8 ◽

2008 ◽

pp. 139-144 ◽

Cited By ~ 22

Author(s):

Limor Fix

Keyword(s):

Formal Property ◽

Property Verification

Download Full-text

From Church and Prior to PSL

25 Years of Model Checking - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69850-0_10 ◽

2008 ◽

pp. 150-171 ◽

Cited By ~ 13

Author(s):

Moshe Y. Vardi

Download Full-text

25 Years of Model Checking - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Birth of Model Checking

Model Checking: From Tools to Theory

New Challenges in Model Checking

DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

On the Merits of Temporal Testers

SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR

A Retrospective on Murϕ

The Beginning of Model Checking: A Personal Perspective

Fifteen Years of Formal Property Verification in Intel

From Church and Prior to PSL

25 Years of Model Checking - Lecture Notes in Computer Science
Latest Publications