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
2013, ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
hive.co.uk No. 9783642367427. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2013, ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2013, ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783642367427
Computer Science; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Languages, Compilers, Interpreters LTL, SMT solver, probabi… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
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
2013, ISBN: 9783642367427
; PDF; Computing > Computer programming / software development, Springer India
hive.co.uk No. 9783642367427. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
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
2013, ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
Nir Piterman; Scott Smolka:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch2013, ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
2013
ISBN: 9783642367427
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March … Mehr…
ISBN: 9783642367427
Computer Science; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Languages, Compilers, Interpreters LTL, SMT solver, probabi… Mehr…
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
2013, ISBN: 9783642367427
; PDF; Computing > Computer programming / software development, Springer India
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - 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
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013277184 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277184 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013277191 Tools and Algorithms for the Construction and Analysis of Systems (Armin Biere)
- 9781013271212 Tools and Algorithms for the Construction and Analysis of Systems (Steffen, Bernhard; Kordon, Fabrice; Huisman, Marieke)
- 9781013277207 Tools and Algorithms for the Construction and Analysis of Systems Armin Biere Author (Armin Biere)
- 9781013271229 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9781013271236 Tools and Algorithms for the Construction and Analysis of Systems (Zhang, Lijun; Vojnar, Tomás)
- 9783030174613 Tools and Algorithms for the Construction and Analysis of Systems (Tomá? Vojnar; Lijun Zhang)
- Tools And Algorithms For The Construction And Analysis Of Systems (Kowalewski, S., Philippou, A.)
< zum Archiv...