skip to content
Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings Preview this item
ClosePreview this item
Checking...

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Author: Hung Van Dang; Mizuhito Ogawa
Publisher: Cham : Springer, [2013] ©2013
Series: Lecture notes in computer science, 8172.; 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 refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from 73 submissions. The papers are organized in topical, sections on analysis and verification of hardware  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
Ebook
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hung Van Dang; Mizuhito Ogawa
ISBN: 9783319024448 3319024442
OCLC Number: 857893786
Notes: International conference proceedings.
Description: 1 online resource (xiv, 528 pages) : illustrations (some color).
Contents: Invited Papers. Acceleration for Petri Nets / Jérôme Leroux --
Automated Verification and Strategy Synthesis for Probabilistic Systems / Marta Kwiatkowska, David Parker --
SMT-Based Software Model Checking / Alessandro Cimatti --
Regular Papers. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment / Tomáš Babiak ... et al. --
Improved Upper and Lower Bounds for Büchi Disambiguation / Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty --
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points / Thomas Brihaye ... et al. --
An Automatic Technique for Checking the Simulation of Timed Systems / Elie Fares ... et al. --
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games / Aleksandra Jovanović, Didier Lime, Olivier H. Roux --
Kleene Algebras and Semimodules for Energy Problems / Zoltán Ésik ... et al. --
Looking at Mean-Payoff and Total-Payoff through Windows / Krishnendu Chatterjee ... et al. --
Weighted Safety / Sigal Weiner ... et al. --
A Framework for Ranking Vacuity Results / Shoham Ben-David, Orna Kupferman. Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications / Ramiro Demasi ... et al. --
Verification of a Dynamic Management Protocol for Cloud Applications / Rim Abid ... et al. --
Compact Symbolic Execution / Jiri Slaby, Jan Strejček, Marek Trtík --
Multi-threaded Explicit State Space Exploration with State Reconstruction / Sami Evangelista, Lars Michael Kristensen, Laure Petrucci --
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata / Parosh Aziz Abdulla ... et al. --
Integrating Policy Iterations in Abstract Interpreters / Pierre Roux, Pierre-Loïc Garoche --
Interpolation Properties and SAT-Based Model Checking / Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina --
Analysis of Message Passing Programs Using SMT-Solvers / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg --
An Expressive Framework for Verifying Deadlock Freedom / Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo --
Expected Termination Time in BPA Games / Dominik Wojtczak. Precise Cost Analysis via Local Reasoning / Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim --
Control Flow Refinement and Symbolic Computation of Average Case Bound / Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu --
Termination and Cost Analysis of Loops with Concurrent Interleavings / Elvira Albert ... et al. --
Linear Ranking for Linear Lasso Programs / Matthias Heizmann ... et al. --
Merge and Conquer: State Merging in Parametric Timed Automata / Étienne André, Laurent Fribourg, Romain Soulat --
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications / Orna Grumberg, Orna Kupferman, Sarai Sheinvald --
Pushdown Systems with Stack Manipulation / Yuya Uezato, Yasuhiko Minamide --
Robustness Analysis of String Transducers / Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri --
Tool Papers. Manipulating LTL Formulas Using Spot 1.0 / Alexandre Duret-Lutz --
Rabinizer 2: Small Deterministic Automata for LTL\GU / Jan Křetínský, Ruslán Ledesma Garza --
LTL Model Checking with Neco / Łukasz Fronc, Alexandre Duret-Lutz. Solving Parity Games on the GPU / Philipp Hoffmann, Michael Luttenberger --
PyEcdar: Towards Open Source Implementation for Timed Systems / Axel Legay, Louis-Marie Traonouez --
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains / Yang Gao ... et al. --
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems / Romain Testylier, Thao Dang --
CELL: A Compositional Verification Framework / Kun Ji ... et al. --
VCS: A Verifier for Component-Based Systems / Fei He ... et al. --
SmacC: A Retargetable Symbolic Execution Engine / Armin Biere ... et al. --
MoTraS: A Tool for Modal Transition Systems and Their Extensions / Jan Křetínský, Salomon Sickert --
Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs / César Rodríguez, Stefan Schwoon --
Short Papers. SAT Based Verification of Network Data Planes / Shuyuan Zhang, Sharad Malik --
A Theory for Control-Flow Graph Exploration / Stephan Arlt, Philipp Rümmer, Martin Schäf --
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis / Jakob Mund ... et al.
Series Title: Lecture notes in computer science, 8172.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: ATVA 2013
Responsibility: Dang Van Hung, Mizuhito Ogawa (eds.).
More information:

Abstract:

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from 73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

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/857893786> # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "857893786" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/computer_communication_networks> ; # Computer Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/logic> ; # Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/computer_science> ; # Computer Science
    schema:about <http://dewey.info/class/006.333/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/1411226463#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:alternateName "ATVA 2013" ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1411226463#Meeting/atva_symposium_11th_2013_hanoi_vietnam> ; # ATVA (Symposium) (11th : 2013 : Hanoi, Vietnam)
    schema:datePublished "2013" ;
    schema:description "This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from 73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies."@en ;
    schema:editor <http://viaf.org/viaf/85551089> ; # Hung Van Dang
    schema:editor <http://viaf.org/viaf/305366722> ; # Mizuhito Ogawa
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1411226463> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Ebook"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411226463#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/1411226463#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411226463#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/1411226463#CreativeWork/> ;
    schema:name "Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings"@en ;
    schema:productID "857893786" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-02444-8> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3107100> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-02444-8> ;
    schema:workExample <http://worldcat.org/isbn/9783319024448> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/857893786> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1411226463#Meeting/atva_symposium_11th_2013_hanoi_vietnam> # ATVA (Symposium) (11th : 2013 : Hanoi, Vietnam)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1411226463#Place/hanoi_vietnam> ; # Hanoi, Vietnam)
    schema:name "ATVA (Symposium) (11th : 2013 : Hanoi, Vietnam)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Place/hanoi_vietnam> # Hanoi, Vietnam)
    a schema:Place ;
    schema:name "Hanoi, Vietnam)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#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/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2007101476> ;
    schema:name "Artificial Intelligence"@en ;
    schema:name "Artificial intelligence"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1411226463#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/1411226463#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/1411226463#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1411226463#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems"@en ;
    .

<http://viaf.org/viaf/305366722> # Mizuhito Ogawa
    a schema:Person ;
    schema:familyName "Ogawa" ;
    schema:givenName "Mizuhito" ;
    schema:name "Mizuhito Ogawa" ;
    .

<http://viaf.org/viaf/85551089> # Hung Van Dang
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Dang" ;
    schema:givenName "Hung Van" ;
    schema:name "Hung Van Dang" ;
    .

<http://worldcat.org/entity/work/data/1411226463#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    .

<http://worldcat.org/isbn/9783319024448>
    a schema:ProductModel ;
    schema:isbn "3319024442" ;
    schema:isbn "9783319024448" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/857893786>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/857893786> ; # Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    schema:dateModified "2016-10-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.