Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - neues Buch

EAN (ISBN-13): 9783642120015
ISBN (ISBN-10): 3642120016
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
468 Seiten
Gewicht: 0,733 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-08-09T02:18:42+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-13T15:43:22+01:00 (Berlin)
ISBN/EAN: 9783642120015

ISBN - alternative Schreibweisen:
3-642-12001-6, 978-3-642-12001-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: majumdar
Titel des Buches: general systems theory, march held, paphos, the tools, analysis systems, algorithms, international conference software, theory construction, cyprus, proceedings construction

---

Daten vom Verlag:

Autor/in: Javier Esparza; Rupak Majumdar
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Tools and Algorithms for the Construction and Analysis of Systems - 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Verlag: Springer; Springer Berlin
468 Seiten
Erscheinungsjahr: 2010-03-17
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 468 p. 102 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Java; Mutation; PHP; Scratch; Simulation; algorithms; computer-assisted surgery; derivation; design; embedded systems; finite automata; optimization; recursion; structured analysis; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Artificial Intelligence; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Künstliche Intelligenz; EA

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 InfiniteProbabilistic 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.
Fast track conference proceedings State of the art papers Up to date research