skip to content
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Preview this item
ClosePreview this item
Checking...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Author: Sungdeok Cha (Steve); Jin-Young Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series: Lecture notes in computer science, 5311
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sungdeok Cha (Steve); Jin-Young Choi; Moonzoo Kim; Insup Lee; Mahesh Viswanathan
ISBN: 9783540883876 3540883878 9783540883869 354088386X
OCLC Number: 767212570
Description: 1 online resource.
Contents: Invited Talks.- Tests, Proofs and Refinements.- Formal Verification and Biology.- Trust and Automation in Verification Tools.- Model Checking.- CTL Model-Checking with Graded Quantifiers.- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.- Computation Tree Regular Logic for Genetic Regulatory Networks.- Compositional Verification for Component-Based Systems and Application.- A Direct Algorithm for Multi-valued Bounded Model Checking.- Software Verification.- Model Checking Recursive Programs with Exact Predicate Abstraction.- Loop Summarization Using Abstract Transformers.- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.- Decision Procedures.- Automating Algebraic Specifications of Non-freely Generated Data Types.- Interpolants for Linear Arithmetic in SMT.- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.- SMELS: Satisfiability Modulo Equality with Lazy Superposition.- Linear-Time Analysis.- Controllable Test Cases for the Distributed Test Architecture.- Tool Demonstration Papers.- Goanna: Syntactic Software Model Checking.- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.- DiVinE Multi-Core - A Parallel LTL Model-Checker.- Alaska.- NetQi: A Model Checker for Anticipation Game.- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.- Timed and Stochastic Systems.- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.- Decidable Compositions of O-Minimal Automata.- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies.- Model Based Importance Analysis for Minimal Cut Sets.- Theory.- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.- Tree Pattern Rewriting Systems.- Deciding Bisimilarity of Full BPA Processes Locally.- Optimal Strategy Synthesis in Request-Response Games.- Short Papers.- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.- Impartial Anticipation in Runtime-Verification.- Run-Time Monitoring of Electronic Contracts.- Practical Efficient Modular Linear-Time Model-Checking.- Passive Testing of Timed Systems.
Series Title: Lecture notes in computer science, 5311
Responsibility: edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

Abstract:

Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the  Read more...

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/767212570> # Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "767212570" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915357886#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/information_systems_and_communication_service> ; # Information Systems and Communication Service
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/information_systems> ; # Information systems
   schema:about <http://dewey.info/class/005.1015113/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/915357886#Topic/special_purpose_and_application_based_systems> ; # Special Purpose and Application-Based Systems
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/915357886#Person/choi_jin_young> ; # Jin-Young Choi
   schema:contributor <http://viaf.org/viaf/46295814> ; # Sungdeok (Steve) Cha
   schema:contributor <http://experiment.worldcat.org/entity/work/data/915357886#Person/kim_moonzoo> ; # Moonzoo Kim
   schema:contributor <http://experiment.worldcat.org/entity/work/data/915357886#Person/viswanathan_mahesh> ; # Mahesh Viswanathan
   schema:contributor <http://experiment.worldcat.org/entity/work/data/915357886#Person/lee_insup> ; # Insup Lee
   schema:datePublished "2008" ;
   schema:description "This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/915357886> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings"@en ;
   schema:productID "767212570" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/767212570#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/915357886#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-88386-9> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-88387-6> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3063590> ;
   schema:workExample <http://worldcat.org/isbn/9783540883869> ;
   schema:workExample <http://worldcat.org/isbn/9783540883876> ;
   umbel:isLike <http://d-nb.info/99035850X> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/767212570> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/915357886#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Person/choi_jin_young> # Jin-Young Choi
    a schema:Person ;
   schema:familyName "Choi" ;
   schema:givenName "Jin-Young" ;
   schema:name "Jin-Young Choi" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Person/kim_moonzoo> # Moonzoo Kim
    a schema:Person ;
   schema:familyName "Kim" ;
   schema:givenName "Moonzoo" ;
   schema:name "Moonzoo Kim" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Person/viswanathan_mahesh> # Mahesh Viswanathan
    a schema:Person ;
   schema:familyName "Viswanathan" ;
   schema:givenName "Mahesh" ;
   schema:name "Mahesh Viswanathan" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
   schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/information_systems> # Information systems
    a schema:Intangible ;
   schema:name "Information systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/information_systems_and_communication_service> # Information Systems and Communication Service
    a schema:Intangible ;
   schema:name "Information Systems and Communication Service"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
   schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/915357886#Topic/special_purpose_and_application_based_systems> # Special Purpose and Application-Based Systems
    a schema:Intangible ;
   schema:name "Special Purpose and Application-Based Systems"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/46295814> # Sungdeok (Steve) Cha
    a schema:Person ;
   schema:familyName "Cha" ;
   schema:givenName "Sungdeok (Steve)" ;
   schema:name "Sungdeok (Steve) Cha" ;
    .

<http://worldcat.org/isbn/9783540883869>
    a schema:ProductModel ;
   schema:isbn "354088386X" ;
   schema:isbn "9783540883869" ;
    .

<http://worldcat.org/isbn/9783540883876>
    a schema:ProductModel ;
   schema:isbn "3540883878" ;
   schema:isbn "9783540883876" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/767212570> ; # Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/767212570>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/767212570> ; # Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
   schema:dateModified "2017-09-03" ;
   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.