yr 〜
yr

Search results 13

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)
Paper図書
IOS Pressc2006.<M17-09-557>
National Diet Library
  • Author Heading...ria Timisoara. Clarke, Edmund. Minea, Marius. Ţiplea, Feruc...

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk
Paper図書
Edmund M. Clarke and Andrei Voronkov (Eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingLPAR Clarke, Edmund Voronkov, A. (Andreĭ)

Handbook of model checking

Handbook of model checking
Paper図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
National Diet LibraryOther Libraries in Japan
  • Author HeadingClarke, Edmund M., Jr. (Edmund Melson), 1945...

Software reliability methods

Software reliability methods
Paper図書
Doron A. Peled ; foreword by Edmund M. ClarkeSpringerc2001
Other Libraries in Japan
  • Author HeadingPeled, Doron Clarke, Edmund

Model checking

Model checking
Paper図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. PeledMIT Pressc1999
Other Libraries in Japan
  • Author HeadingClarke, Edmund Grumberg, Orna Peled, Doron

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A1974>
National Diet Library
  • Author HeadingClarke, Edmund. Kozen, Dexter, 1951- Logics ...

Model checking 2nd ed

Model checking 2nd ed
Paper図書
Edmund M Clarke, Jr. ... [et al.]The MIT Pressc2018
Other Libraries in Japan
  • Author HeadingClarke, Edmund M., Jr. (Edmund Melson)

Negative publicity : artefacts of extraordinary rendition

Negative publicity : artefacts of extraordinary rendition
Paper図書
Crofton Black, Edmund Clark ; [additional text by Eyal Weizman]Aperture Foundationc2015
Other Libraries in Japan

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
Paper図書
E.M. Clarke, R.P. Kurshan, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingClarke, Edmund CAV (Conference) Kurshan, R. ...

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
Paper図書
E.M. Clarke, R.P. Kurshan, editorsAmerican Mathematical Societyc1991
Other Libraries in Japan
  • Author Heading...puter Science) Clarke, Edmund Kurshan, R. P.

Still life : killing time

Still life : killing time
Paper図書
Edmund Clark ; [foreword by Simon Norfolk]Dewi Lewis2007
Other Libraries in Japan

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us
Paper図書
edited by Edmund Clarke and Dexter KozenSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingClarke, Edmund Kozen, Dexter Logics of Progr...

Completeness and incompleteness theorems for Hoare-like axiom systems

Completeness and incompleteness theorems for Hoare-like axiom systems
Paper図書
by Edmund Nelson Clarke, Jr.University Microfilms International1976
Other Libraries in Japan
  • Author HeadingClarke, Edmund Nelson, Jr.

Reached to the end of result.