Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Proceedings: 6015 - Brossura

 
9783642120015: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Proceedings: 6015
Brossura
ISBN 10: 3642120016 ISBN 13: 9783642120015
Casa editrice: Springer, 2010

Sinossi

proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Invited Talks.- Embedded Systems Design — Scientific Challenges and Work Directions.- Antichain Algorithms for Finite Automata.- Probabilistic Systems and Optimization.- Assume-Guarantee Verification for Probabilistic Systems.- Simple O(m logn) Time Markov Chain Lumping.- Model Checking Interactive Markov Chains.- Approximating the Pareto Front of Multi-criteria Optimization Problems.- Decision Procedures.- An Alternative to SAT-Based Approaches for Bit-Vectors.- Satisfiability Modulo the Theory of Costs: Foundations and Applications.- Optimal Tableau Algorithms for Coalgebraic Logics.- Blocked Clause Elimination.- Tools I.- Boom: Taking Boolean Program Model Checking One Step Further.- The OpenSMT Solver.- Stranger: An Automata-Based String Analysis Tool for PHP.- Automata Theory.- When Simulation Meets Antichains.- On Weak Modal Compatibility, Refinement, and the MIO Workbench.- Rational Synthesis.- Efficient Büchi Universality Checking.- Liveness.- Automated Termination Analysis for Programs with Second-Order Recursion.- Ranking Function Synthesis for Bit-Vector Relations.- Fairness for Dynamic Control.- Tools II.- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.- Tracking Heaps That Hop with Heap-Hop.- Software Verification.- Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors.- Simplifying Linearizability Proofs with Reduction and Abstraction.- A Polymorphic Intermediate Verification Language: Design and Logical Encoding.- Trace-Based Symbolic Analysis for Atomicity Violations.- Tools III.- ACS: Automatic Converter Synthesis for SoC Bus Protocols.- AlPiNA: An Algebraic Petri Net Analyzer.- PASS: Abstraction Refinement for Infinite Probabilistic Models.- Real Time and Information Flow.- Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions.- Computing the Leakage of Information-Hiding Systems.- Statistical Measurement of Information Leakage.- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata.- Testing.- Preemption Sealing for Efficient Concurrency Testing.- Code Mutation in Verification and Automatic Code Correction.- Efficient Detection of Errors in Java Components Using Random Environment and Restarts.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
3642120016
ISBN 13 
9783642120015
Rilegatura
Copertina flessibile
Numero di pagine
488
Redattore
Esparza Javier, Majumdar Rupak
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783642120039: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... ... Cyprus, March 20-29, 2010, Pro

Edizione in evidenza

ISBN 10:  3642120032 ISBN 13:  9783642120039
Casa editrice: Springer, 2011
Brossura