WorldCat Identities

Clarke, Edmund

Overview
Works: 8 works in 30 publications in 2 languages and 1,723 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: QA76.6, 001.642
Publication Timeline
.
Most widely held works by Edmund Clarke
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 by E. M Clarke( Book )

9 editions published in 1984 in English and German and held by 283 WorldCat member libraries worldwide

Verification of infinite-state systems with applications to security by NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security( Book )

9 editions published in 2006 in English and held by 58 WorldCat member libraries worldwide

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop
Escher-- a geometrical layout system for recursively defined circuits by Edmund Clarke( Book )

2 editions published in 1985 in English and held by 8 WorldCat member libraries worldwide

Perspectives of Systems Informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers by Edmund Clarke( Book )

6 editions published in 2012 in English and held by 6 WorldCat member libraries worldwide

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering
Efficient generation of counterexamples and witnesses in symbolic model checking by E Clarke( Book )

1 edition published in 1994 in English and held by 5 WorldCat member libraries worldwide

Abstract: "Model checking is an automatic technique for verifying sequential circuit designs and protocols. An efficient search procedure is used to determine whether or not the specification is satisfied. If it is not satisfied, our technique will produce a counterexample execution trace that shows the cause of the problem. Although finding counterexamples is extremely important, there is no description of how to do this in the literature on model checking. We describe an efficient algorithm to produce counterexamples and witnesses for symbolic model checking algorithms. This algorithm is used in the SMV model checker and works quite well in practice. We also discuss how to extend our technique to more complicated specifications. This extension makes it possible to find counterexamples for verification procedures based on showing language containment between various types of [omega]-automata."
A Summary of research on program derivation by Edmund Clarke( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

Verification of infinite-state systems with applications to security( )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference : Revised Selected Papers( )

1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.02 for Verificati ... to 0.96 for Perspectiv ...)

Verification of infinite-state systems with applications to security
Alternative Names
Clarke, E. M.

Clarke, Edmund.

Clarke, Edmund M.

Languages
English (29)

German (1)

Covers
Verification of infinite-state systems with applications to security