Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bouajjani, Ahmed. (Editor ), Monniaux, David. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10145
Materias:
LEADER 03542nam a22004095i 4500
001 000294914
005 20211018094413.0
007 cr nn 008mamaa
008 170111s2017 gw | s |||| 0|eng d
020 |a 9783319522340 
024 7 |a 10.1007/978-3-319-52234-0  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Verification, Model Checking, and Abstract Interpretation :  |b 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /  |c edited by Ahmed Bouajjani, David Monniaux. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XVII, 560 p. 150 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Theoretical Computer Science and General Issues ;  |v 10145 
505 0 |a 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. 
650 0 |a Computer logic. 
650 0 |a Software engineering. 
650 0 |a Computer communication systems. 
650 0 |a Mathematical logic. 
650 0 |a Computers. 
650 0 |a Programming languages (Electronic computers). 
650 1 4 |a Logics and Meanings of Programs. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
700 1 |a Bouajjani, Ahmed.  |e editor. 
700 1 |a Monniaux, David.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks