skip to content
Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings Preview this item
ClosePreview this item
Checking...

Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Author: Franck Cassez; Jean-François Raskin
Publisher: Cham : Springer, 2014.
Series: Lecture notes in computer science, 8837.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Franck Cassez; Jean-François Raskin
ISBN: 9783319119366 3319119362 3319119354 9783319119359
OCLC Number: 895034517
Notes: International conference proceedings.
Description: 1 online resource (xxiv, 430 page) : illustrations.
Contents: Verifying Communicating Multi-pushdown Systems via Split-Width --
Booster: An Acceleration-Based Verification Framework for Array Programs --
A Bounded Model Checker for SPARK Programs --
Acceleration of Affine Hybrid Transformations --
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol --
Quantitative Verification of Weighted Kripke Structures --
Formal Safety Assessment via Contract-Based Design --
Verification of Markov Decision Processes Using Learning Algorithms --
Test Coverage Estimation Using Threshold Accepting --
On Time with Minimal Expected Cost! --
Fast Debugging of PRISM Models --
ACME: Automata with Counters, Monoids and Equivalence (Tool Paper).-Modelling and Analysis of Markov Reward Automata --
Extensional Crisis and Proving Identity --
Deciding Entailments in Inductive Separation Logic with Tree Automata --
Liveness Analysis for Parameterised Boolean Equation Systems --
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata --
PeCAn: Compositional Verification of Petri Nets Made Easy --
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems --
Efficiently and Completely Verifying Synchronized Consistency Models --
Symmetry Reduction in Infinite Games with Finite Branching --
Incremental Encoding and Solving of Cardinality Constraints --
Formal Verification of Skiplists with Arbitrary Many Levels --
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom --
A Game-Theoretic Approach to Simulation of Data-Parameterized Systems --
Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters --
Symbolic Memory with Pointers --
Trace Abstraction Refinement for Timed Automata --
Statistically Sound Verification and Optimization for Complex Systems.
Series Title: Lecture notes in computer science, 8837.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: ATVA 2014
Responsibility: Franck Cassez, Jean-Francois Raskin (eds.).

Abstract:

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

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/895034517> # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "895034517" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2222055860#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/2222055860#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/2222055860#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.333/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2222055860#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://experiment.worldcat.org/entity/work/data/2222055860#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:alternateName "ATVA 2014" ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/2222055860#Meeting/atva_symposium_12th_2014_sydney_n_s_w> ; # ATVA (Symposium) (12th : 2014 : Sydney, N.S.W.)
   schema:datePublished "2014" ;
   schema:description "This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry."@en ;
   schema:description "Verifying Communicating Multi-pushdown Systems via Split-Width -- Booster: An Acceleration-Based Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration of Affine Hybrid Transformations -- A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage Estimation Using Threshold Accepting -- On Time with Minimal Expected Cost! -- Fast Debugging of PRISM Models -- ACME: Automata with Counters, Monoids and Equivalence (Tool Paper).-Modelling and Analysis of Markov Reward Automata -- Extensional Crisis and Proving Identity -- Deciding Entailments in Inductive Separation Logic with Tree Automata -- Liveness Analysis for Parameterised Boolean Equation Systems -- Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata -- PeCAn: Compositional Verification of Petri Nets Made Easy -- The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems -- Efficiently and Completely Verifying Synchronized Consistency Models -- Symmetry Reduction in Infinite Games with Finite Branching -- Incremental Encoding and Solving of Cardinality Constraints -- Formal Verification of Skiplists with Arbitrary Many Levels -- Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom -- A Game-Theoretic Approach to Simulation of Data-Parameterized Systems -- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters -- Symbolic Memory with Pointers -- Trace Abstraction Refinement for Timed Automata -- Statistically Sound Verification and Optimization for Complex Systems."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/2222055860#Person/raskin_jean_francois_1972> ; # Jean-François Raskin
   schema:editor <http://experiment.worldcat.org/entity/work/data/2222055860#Person/cassez_franck_1967> ; # Franck Cassez
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2222055860> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2222055860#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2222055860#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/2222055860#CreativeWork/> ;
   schema:name "Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings"@en ;
   schema:productID "895034517" ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-11936-6> ;
   schema:workExample <http://worldcat.org/isbn/9783319119366> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-11936-6> ;
   schema:workExample <http://worldcat.org/isbn/9783319119359> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/895034517> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2222055860#Meeting/atva_symposium_12th_2014_sydney_n_s_w> # ATVA (Symposium) (12th : 2014 : Sydney, N.S.W.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2222055860#Place/sydney_n_s_w> ; # Sydney, N.S.W.)
   schema:name "ATVA (Symposium) (12th : 2014 : Sydney, N.S.W.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Person/cassez_franck_1967> # Franck Cassez
    a schema:Person ;
   schema:birthDate "1967" ;
   schema:familyName "Cassez" ;
   schema:givenName "Franck" ;
   schema:name "Franck Cassez" ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Person/raskin_jean_francois_1972> # Jean-François Raskin
    a schema:Person ;
   schema:birthDate "1972" ;
   schema:familyName "Raskin" ;
   schema:givenName "Jean-François" ;
   schema:name "Jean-François Raskin" ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Place/sydney_n_s_w> # Sydney, N.S.W.)
    a schema:Place ;
   schema:name "Sydney, N.S.W.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/895034517> ; # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/895034517> ; # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2222055860#Topic/automatic_theorem_proving> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2222055860#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/2222055860#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
   schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://worldcat.org/entity/work/data/2222055860#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/895034517> ; # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
    .

<http://worldcat.org/isbn/9783319119359>
    a schema:ProductModel ;
   schema:isbn "3319119354" ;
   schema:isbn "9783319119359" ;
    .

<http://worldcat.org/isbn/9783319119366>
    a schema:ProductModel ;
   schema:isbn "3319119362" ;
   schema:isbn "9783319119366" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/895034517> ; # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, 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/895034517>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/895034517> ; # Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
   schema:dateModified "2016-05-10" ;
   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.