Verification, model checking, and ab...
VMCAI (Conference) (2017 :)

FindBook      Google Book      Amazon      博客來     
  • Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Verification, model checking, and abstract interpretation/ edited by Ahmed Bouajjani, David Monniaux.
    其他題名: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
    其他題名: VMCAI 2017
    其他作者: Bouajjani, Ahmed.
    團體作者: VMCAI (Conference)
    出版者: Cham :Springer International Publishing : : 2017.,
    面頁冊數: xvii, 560 p. :ill., digital ;24 cm.
    內容註: Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade -- Detecting Strict Aliasing Violations in the Wild -- Effective Bug Finding in C Programs with Shape and Effect Abstractions -- Synthesizing Non-Vacuous Systems -- Static Analysis of Communicating Process Using Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring Abstract Interpreters through State and Value Abstractions -- Matching Multiplications in Bit-Vector Formulas -- Independence Abstractions and Models of Concurrency -- Complete Abstractions and Subclassical Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed Reachability for Proving Absence of Concurrent Modification Errors -- Stabilizing Floating-Point Programs Using Provenance Analysis -- Dynamic Reductions for Model Checking Concurrent Software -- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation and Interpolation-Based Refinement for Forest Automata -- Block-wise Abstract Interpretation by Combining Abstract Domains with SMT -- Solving Nonlinear Integer Arithmetic with MCSat -- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms -- Efficient Elimination of Redundancies in Polyhedra Using Raytracing -- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions -- Detecting All High-Level Dataraces in an RTOS Kernel -- Reachability for Dynamic Parametric Processes -- Conjunctive Abstract Interpretation Using Paramodulation -- Reasoning in the Bernays-Schonfinkel-Ramsey Fragment of Separation Logic -- Finding Relevant Templates via the Principal Component Analysis -- Sound Bit-Precise Numerical Domains -- IC3 - Flipping the E in ICE -- Partitioned Memory Models for Program Analysis.
    Contained By: Springer eBooks
    標題: Computer software - Congresses. - Verification -
    電子資源: http://dx.doi.org/10.1007/978-3-319-52234-0
    ISBN: 9783319522340
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入