Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - neues Buch

EAN (ISBN-13): 9783642367427
Erscheinungsjahr: 2013
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-18T22:38:46+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-03-07T00:01:19+01:00 (Berlin)
ISBN/EAN: 9783642367427

ISBN - alternative Schreibweisen:
978-3-642-36742-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: algorithms, software tools, theory construction

---

Daten vom Verlag:

Autor/in: Nir Piterman; Scott Smolka
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Verlag: Springer; Springer Berlin
646 Seiten
Erscheinungsjahr: 2013-02-17
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXIV, 646 p. 137 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; LTL; SMT solver; probabilistic automata; role-based access control; software verification; algorithm analysis and problem complexity; C; Computer Science Logic and Foundations of Programming; Software Engineering; Algorithms; Compilers and Interpreters; Computer Science; Software Engineering; Algorithmen und Datenstrukturen; Compiler und Übersetzer; BC

On-the-Fly Exact Computation of Bisimilarity Distances.- The Quest for Minimal Quotients for Probabilistic Automata.- LTL Model Checking of Interval Markov Chains.- Ramsey vs. Lexicographic Termination Proving.- Structural Counter Abstraction.- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.- The MathSAT5 SMT Solver.- Formula Preprocessing in MUS Extraction.- Proof Tree Preserving Interpolation.- Asynchronous Multi-core Incremental SAT Solving.- Model-Checking Iterated Games.- PRISM-games: A Model Checker for Stochastic Multi-Player Games.- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.- An Overview of the mCRL2 Toolset and Its Recent Advances.- Analysis of Boolean Programs.- Weighted Pushdown Systems with Indexed Weight Domains.- Underapproximation of Procedure Summaries for Integer Programs.- Runtime Verification Based on Register Automata.- Unbounded Model-Checking with Interpolation for Regular Language Constraints.- eVolCheck: Incremental Upgrade Checker for C.- Intertwined Forward-Backward Reachability Analysis Using Interpolants.- An Integrated Specification and Verification Technique or Highly Concurrent Data Structures.- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems.- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory.- Synthesis of Circular Compositional Program Proofs via Abduction.- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.- Integer Parameter Synthesis for Timed Automata.- LTL Model-Checking for Malware Detection.- Policy Analysis for Self-administrated Role-Based Access Control.- Model Checking Agent Knowledge in Dynamic Access Control Policies.- Frontiers (Graphics and Quantum) Automatic Testing of Real-Time Graphics Systems.- Equivalence Checking of Quantum Protocols.- Encoding Monomorphic and Polymorphic Types.- Deriving Probability Density Functions from Probabilistic Functional Programs.- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms.- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.- BULL: A Library for Learning Algorithms of Boolean Functions.- AppGuard – Enforcing User Requirements on Android Apps.- Model Checking Database Applications.- Efficient Property Preservation Checking of Model Refinements.- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.- Competition on Software Verification Second Competition on Software Verification (Summary of SV-COMP 2013).- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation (Competition Contribution).- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis (Competition Contribution).- CSeq: A Sequentialization Tool for C (Competition Contribution).- Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution).- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM (Competition Contribution).- Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution).- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution (Competition Contribution).- Threader: A Verifier for Multi-threaded Programs (Competition Contribution).- UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution).- Ultimate Automizer with SMTInterpol (Competition Contribution).
Up-to-date results in tools and algorithms for the construction and analysis of systems Fast-track conference proceedings State-of-the-art research