skip to content
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 Preview this item
ClosePreview this item
Checking...

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

Author: Edmund M Clarke, Jr.; R P Kurshan
Publisher: Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 3.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science).
Computer-aided verification '90.
Providence, RI : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991
(OCoLC)629692125
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Edmund M Clarke, Jr.; R P Kurshan
ISBN: 0821865943 9780821865941 0897913868 9780897913867
OCLC Number: 23355319
Notes: "The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--Title page verso.
Description: xii, 628 pages : illustrations ; 27 cm.
Contents: Temporal logic model checking: Two techniques for avoiding the state explosion problem by E. M. Clarke, Jr. Automatic verification of extensions of hardware descriptions by H. Eveking Using partial-order semantics to avoid the state explosion problem in asynchronous systems by D. K. Probst and H. F. Li A stubborn attack on state explosion by A. Valmari PAPETRI: Environment for the analysis of PETRI nets by G. Berthelot, C. Johnen, and L. Petrucci Compositional minimization of finite state systems by S. Graf and B. Steffen Verifying temporal properties of sequential machines without building their state diagrams by O. Coudert, J. C. Madre, and C. Berthet Minimal model generation by A. Bouajjani, J.-C. Fernandez, and N. Halbwachs Verifying liveness properties by verifying safety properties by J. R. Burch Extension of the Karp and Miller procedure to LOTOS specifications by M. Barbeau and G. V. Bochmann Formal verification of digital circuits using symbolic ternary system models by R. E. Bryant and C.-J. H. Seger An algebra for delay-insensitive circuits by M. B. Josephs and J. T. Udding Synthesizing processes and schedulers from temporal specifications by H. Wong-Toi and D. L. Dill Verification of multiprocessor cache protocol using simulation relations and higher-order logic by P. Loewenstein and D. L. Dill Memory efficient algorithms for the verification of temporal properties by C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis Vectorized model checking for computation tree logic by H. Hiraishi, S. Meki, and K. Hamaguchi On some implementation of optimal simulations by R. Janicki and M. Koutny Task-driven supervisory control of discrete event systems by C. H. Golaszewski and R. P. Kurshan Finiteness conditions and structural construction of automata for all process algebras by E. Madelaine and D. Vergamini A computation theory and implementation of sequential hardware equivalence by C. Pixley Using partial orders to improve automatic verification methods by P. Godefroid A context dependent equivalence relation between Kripke structures by B. Josko The modular framework of computer-aided verification by G. Shurek and O. Grumberg Tool support for the refinement calculus by D. A. Carrington and K. A. Robinson A unified approach to the deadlock detection problem in networks of communicating finite state machines by W. Peng and S. Purushothaman A computer-aided verification tool for finite state controller systems by M. Bickford and M. Srivas Program verification by symbolic execution of hyperfinite ideal machines by J. M. Morris and M. Howard On automatically distinguishing inequivalent processes by R. Cleaveland Auto/Autograph by V. Roy and R. de Simone A data path verifier for register transfer level using temporal logic language Tokio by H. Nakamura, Y. Kukimoto, M. Fujita, and H. Tanaka Model checking and graph theory in sequential ATPG by P. Camurati, M. Gilli, P. Prinetto, and M. S. Reorda Compositional design and verification of communication protocols, using labelled PETRI nets by J. C. Lloret, P. Azema, and F. Vernadat Liveness analysis and the automatic generation of concurrent programs by U. Buy and R. Moll Branching time regular temporal logic for model checking with linear time complexity by K. Hamaguchi, H. Hiraishi, and S. Yajima Issues arising in the analysis of L.0 by L. Ness Automated RTL verification based on predicate calculus by M. Langevin The algebraic feedback product of automata. A state machine based model of concurrent systems by V. Yodaiken Results on the interface between formal verification and ATPG by H. Cho, G. Hachtel, S.-W. Jeong, B. Plessier, E. Schwarz, and F. Somenzi.
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 3.
Responsibility: E.M. Clarke, R.P. Kurshan, editors.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/23355319> # Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "23355319" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/24682669#Place/providence_ri> ; # Providence, RI
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/24682669#Place/baltimore_md> ; # Baltimore, Md.
    schema:about <http://dewey.info/class/621.3815/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/24682669#Topic/digital_integrated_circuits_congresses_computer_aided_design> ; # Digital integrated circuits--Congresses--Computer-aided design
    schema:about <http://id.worldcat.org/fast/893694> ; # Digital integrated circuits--Computer-aided design
    schema:about <http://id.worldcat.org/fast/975600> ; # Integrated circuits--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/24682669#Topic/integrated_circuits_verification> ; # Integrated circuits--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/24682669#Topic/digital_integrated_circuits_computer_aided_design> ; # Digital integrated circuits--Computer-aided design
    schema:about <http://experiment.worldcat.org/entity/work/data/24682669#Topic/integrated_circuits_congresses_verification> ; # Integrated circuits--Congresses--Verification
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/112114128> ; # R. P. Kurshan
    schema:contributor <http://experiment.worldcat.org/entity/work/data/24682669#Person/clarke_edmund_m_jr_edmund_melson_1945> ; # Jr. Edmund Melson Clarke
    schema:creator <http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> ; # CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)
    schema:datePublished "1991" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/24682669> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1052-1798> ; # DIMACS series in discrete mathematics and theoretical computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/629692125> ;
    schema:name "Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990"@en ;
    schema:productID "23355319" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/23355319#PublicationEvent/providence_ri_american_mathematical_society_baltimore_md_association_for_computing_machinery_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/24682669#Agent/association_for_computing_machinery> ; # Association for Computing Machinery
    schema:publisher <http://experiment.worldcat.org/entity/work/data/24682669#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:url <http://www.gbv.de/dms/bowker/toc/9780821865941.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780897913867> ;
    schema:workExample <http://worldcat.org/isbn/9780821865941> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/23355319> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/24682669#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Agent/association_for_computing_machinery> # Association for Computing Machinery
    a bgn:Agent ;
    schema:name "Association for Computing Machinery" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Meeting/cav_conference_2nd_1990_center_for_discrete_mathematics_and_theoretical_computer_science> # CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/24682669#Place/center_for_discrete_mathematics_and_theoretical_computer_science> ; # Center for Discrete Mathematics and Theoretical Computer Science)
    schema:name "CAV (Conference) (2nd : 1990 : Center for Discrete Mathematics and Theoretical Computer Science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Person/clarke_edmund_m_jr_edmund_melson_1945> # Jr. Edmund Melson Clarke
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Clarke" ;
    schema:givenName "Edmund Melson" ;
    schema:givenName "Edmund M." ;
    schema:name "Jr. Edmund Melson Clarke" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Place/baltimore_md> # Baltimore, Md.
    a schema:Place ;
    schema:name "Baltimore, Md." ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Place/center_for_discrete_mathematics_and_theoretical_computer_science> # Center for Discrete Mathematics and Theoretical Computer Science)
    a schema:Place ;
    schema:name "Center for Discrete Mathematics and Theoretical Computer Science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Place/providence_ri> # Providence, RI
    a schema:Place ;
    schema:name "Providence, RI" ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Topic/digital_integrated_circuits_computer_aided_design> # Digital integrated circuits--Computer-aided design
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85037979> ;
    schema:name "Digital integrated circuits--Computer-aided design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Topic/digital_integrated_circuits_congresses_computer_aided_design> # Digital integrated circuits--Congresses--Computer-aided design
    a schema:Intangible ;
    schema:name "Digital integrated circuits--Congresses--Computer-aided design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/24682669#Topic/integrated_circuits_congresses_verification> # Integrated circuits--Congresses--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Congresses--Verification"@en ;
    .

<http://id.worldcat.org/fast/893694> # Digital integrated circuits--Computer-aided design
    a schema:Intangible ;
    schema:name "Digital integrated circuits--Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/975600> # Integrated circuits--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Verification"@en ;
    .

<http://viaf.org/viaf/112114128> # R. P. Kurshan
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Kurshan" ;
    schema:givenName "R. P." ;
    schema:name "R. P. Kurshan" ;
    .

<http://worldcat.org/isbn/9780821865941>
    a schema:ProductModel ;
    schema:isbn "0821865943" ;
    schema:isbn "9780821865941" ;
    .

<http://worldcat.org/isbn/9780897913867>
    a schema:ProductModel ;
    schema:isbn "0897913868" ;
    schema:isbn "9780897913867" ;
    .

<http://worldcat.org/issn/1052-1798> # DIMACS series in discrete mathematics and theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/23355319> ; # Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
    schema:issn "1052-1798" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science ;" ;
    schema:name "DIMACS series in discrete mathematics and theoretical computer science," ;
    .

<http://www.worldcat.org/oclc/629692125>
    a schema:CreativeWork ;
    rdfs:label "Computer-aided verification '90." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/23355319> ; # Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
    .

<http://www.worldcat.org/title/-/oclc/23355319>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/23355319> ; # Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
    schema:dateModified "2018-03-31" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.