WorldCat Identities

Clarke, Edmund M. Jr (Edmund Melson) 1945-2020

Overview
Works: 104 works in 347 publications in 4 languages and 6,197 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Editor, htt, Other, Contributor
Publication Timeline
.
Most widely held works by Edmund M Clarke
Model checking by Edmund M Clarke( )

35 editions published between 1999 and 2018 in 3 languages and held by 1,925 WorldCat member libraries worldwide

"An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems"--Résumé de l'éditeur
Verification of infinite-state systems with applications to security by NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security( )

17 editions published in 2006 in English and held by 1,635 WorldCat member libraries worldwide

The recent years have brought a number of advances in the development of infinite state verification, using techniques such as symbolic or parameterized representations, symmetry reductions, abstractions, constraint-based approaches, combinations of model checking and theorem proving. The active state of research on this topic provides a good time-point to increase impact by bringing together leading scientists and practitioners from these individual approaches. This volume gives an overview of the currnt research directions and provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems
Computer-aided verification : proceedings by Edmund M Clarke( Book )

25 editions published between 1991 and 1996 in 3 languages and held by 497 WorldCat member libraries worldwide

"This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say, from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessionsfor the demonstration of new verification tools."--PUBLISHER'S WEBSITE
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers by Edmund M Clarke( )

19 editions published between 2010 and 2011 in English and held by 485 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by Edmund M Clarke( )

19 editions published in 2012 in English and German and held by 443 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
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 by Edmund M Clarke( Book )

19 editions published between 1984 and 2007 in English and German and held by 440 WorldCat member libraries worldwide

Handbook of Model Checking by Edmund M Clarke( )

15 editions published between 2016 and 2018 in English and held by 264 WorldCat member libraries worldwide

"Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools."--Provided by publisher
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 by Edmund M Clarke( Book )

12 editions published between 1990 and 1991 in English and held by 110 WorldCat member libraries worldwide

Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 by Edmund M Clarke( )

1 edition published in 1984 in English and held by 23 WorldCat member libraries worldwide

*Logics of programs : workshop, Carnegie Mellon University, Pittsburg, Pa., June 6-8, 1983( Book )

2 editions published in 1984 in Italian and English and held by 18 WorldCat member libraries worldwide

Logic for programming, artificial intelligence, and reasoning 17th international conference ; proceedings by C Fermüller( )

1 edition published in 2010 in German and held by 15 WorldCat member libraries worldwide

Annotation
Logics of programs : workshop, Yorktown Heights, N.Y., May 1981 by Dexter Kozen( )

4 editions published between 1984 and 2007 in English and held by 11 WorldCat member libraries worldwide

None Available
Verification of the Futurebus+ cache coherence protocol by Edmund M Clarke( Book )

5 editions published between 1992 and 1995 in English and held by 10 WorldCat member libraries worldwide

Abstract: "We used a hardware description language to construct a formal model of the cache coherence protocol described in the draft IEEE Futurebus+ standard. By applying temporal logic model checking techniques, we found several errors in the standard. The result of our project is a concise, comprehensible and unambiguous model of the protocol that should be useful both to the Futurebus+ Working Group members, who are responsible for the protocol, and to actual designers of Futurebus+ boards."
Software reliability methods by Doron A Peled( Book )

2 editions published in 2001 in English and held by 10 WorldCat member libraries worldwide

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability
Escher-- a geometrical layout system for recursively defined circuits by Edmund M Clarke( Book )

3 editions published in 1985 in English and held by 9 WorldCat member libraries worldwide

A parallel algorithm for constructing binary decision diagrams by Shōji Kimura( Book )

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

Our approach to binary decision diagrams is somewhat different from the one used in [1]. We view the binary decision diagram for an n-argument Boolean function as the minimal finite state automaton for the set of Boolean vectors of length n that satisfy f (i.e. the set of vectors in f⁻¹(1)). Because the minimal finite automaton for a regular language is unique up to isomorphism, it is easy to argue that this representation provides a canonical form for Boolean functions. Boolean operations involving NOT, AND, OR, etc. are implemented by the standard constructions for complement, intersection, and union of the finite languages accepted by these automata
SML-a high level language for the design and verification of finite state machines by M. C Browne( Book )

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

Analytica : a theorem prover for Mathematica by Edmund M Clarke( Book )

3 editions published in 1992 in English and held by 8 WorldCat member libraries worldwide

Abstract: "Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also able to guarantee the correctness of certain steps that are made by the symbolic computation system and therefore prevent common errors like division by a symbolic expression that could be zero. In this paper we describe the structure of Analytica and explain the main techniques that it uses to construct proofs
Parallel symbolic computation algorithms( Book )

1 edition published in 1990 in English and held by 8 WorldCat member libraries worldwide

Abstract: "We describe the implementation of three symbolic computation algorithms on shared memory multiprocessors. We also evaluate the performance of the implementations, point out some of their common characteristics, and describe why these algorithms should be able to take advantage of the large scale heterogeneous shared memory machines currently being developed."
A language for compositional specification and verification of finite state hardware controllers by Edmund M Clarke( Book )

4 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.28 (from 0.02 for Verificati ... to 0.93 for Logics of ...)

Model checking
Covers
Verification of infinite-state systems with applications to securityComputer-aided verification : proceedingsLogic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papersPerspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papersLogics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983Handbook of Model Checking*Logics of programs : workshop, Carnegie Mellon University, Pittsburg, Pa., June 6-8, 1983Logics of programs : workshop, Yorktown Heights, N.Y., May 1981Software reliability methods
Alternative Names
Clarke, E. 1945-

Clarke, E. 1945-2020

Clarke, E. M.

Clarke, E. M. 1945-

Clarke, E. M. 1945-2020

Clarke, E. M 1945- Jr

Clarke, E. M., Jr. (Edmund Melson), 1945-2020

Clarke, Edmund.

Clarke, Edmund 1945-

Clarke, Edmund 1945-2020

Clarke, Edmund 1945- Jr

Clarke, Edmund Jr. 1945-2020

Clarke, Edmund M.

Clarke, Edmund M. 1945-

Clarke, Edmund M. 1945- Jr

Clarke, Edmund M., Jr., 1945-

Clarke, Edmund M. Jr. 1945-2020

Clarke, Edmund M., Jr. (Edmund Melson), 1945-

Clarke, Edmund Melson

Clarke, Edmund Melson 1945-

Clarke, Edmund Melson 1945-2020

Clarke, Edmund Melson 1945- Jr

Clarke, Edmund Melson Jr. 1945-2020

E. M. Clarke

Edmund Clarke

Edmund Clarke informático teórico estadounidense

Edmund M. Clarke American computer scientist

Edmund M. Clarke Amerikaans informaticus

Edmund M. Clarke amerikanischer Informatiker

Edmund M. Clarke amerikansk ingeniør og informatikar

Edmund M. Clarke amerikansk ingeniør og informatiker

Edmund M. Clarke amerikansk ingenjör och datavetare

Edmund M. Clarke informaticien américain

Edmund M. Clarke ríomheolaí Meiriceánach

Edmund M. Clarke United States of America karimba ŋun nyɛ doo

Έντμουντ Μ. Κλαρκ

Едмунд Кларк

Кларк, Эдмунд Мельсон

ادموند ام. کلارک دانشمند علوم کامپیوتر و مهندس آمریکایی

إدموند كلارك

إدموند كلارك عالم حاسوب أمريكي

এডমুন্ড এম. ক্লার্ক

에드먼드 M. 클라크

エドムンド・クラーク

爱德蒙·克拉克

Languages
English (182)

German (4)

Chinese (2)

Italian (1)