Tools and Algorithms for the Construction and Analysis of Systems (Record no. 205758)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05988nam a22006015i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783662545805 |
| -- | 978-3-662-54580-5 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | CUS |
| 245 10 - TITLE STATEMENT | |
| Title | Tools and Algorithms for the Construction and Analysis of Systems |
| Sub title | 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / |
| Statement of responsibility, etc. | edited by Axel Legay, Tiziana Margaria. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2017. |
| 300 ## - DESCRIPTION | |
| Extent | XXIV, 411 p. 88 illus. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Security -- Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions -- Discriminating Traces with Time -- Directed Automated Memory Performance Testing -- Context-bounded Analysis for POWER -- Run-Time Verification and Logic. -Rewriting-Based Runtime Verification of Alternation-Free HyperLTL Formulas -- Almost Event-Rate Independent Monitoring of Metric Temporal Logic -- Optimal Translation of LTL to Limit Deterministic Automata -- Quantitative Systems -- Sequential Convex Programming for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults -- Long-run Rewards for Markov Automata -- SAT and SMT -- HiFrog: SMT-based Function Summarization for Software Verification -- Congruence Closure with Free Variables -- On Optimization Modulo Theories, MaxSMT and Sorting Networks. - The automatic detection of token structures and invariants using SAT checking -- Maximizing the Conditional Expected Reward for Reaching the Goal. -ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. - FlyFast: A Mean Field Model Checker. -ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations -- SV COMP -- Software Verification with Validation of Results (Report on SV-COMP 2017) -- AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs (Competition Contribution) -- CPA-BAM-BnB: Block-Abstraction Memoization and Region-based Memory Models for Predicate Abstractions (Competition Contribution) -- DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs (Competition Contribution) -- Forester: From Heap Shapes to Automata Predicates (Competition Contribution) -- HipTNT+: A Termination and Non-termination Analyzer by Second-order Abduction (Competition Contribution) -- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation (Competition Contribution) -- Skink: Static Analysis of LLVM Intermediate Representation (Competition contribution) -- Symbiotic 4: Beyond Reachability (Competition Contribution) -- Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) -- Ultimate Automizer with an On-demand Construction of Floyd-Hoare Automata (Competition Contribution) -- Ultimate Taipan: Trace Abstraction and Abstract Interpretation (Competition Contribution) -- VeriAbs : Verification by Abstraction (Competition Contribution). . |
| 650 #0 - SUBJECT | |
| Keyword | Computer logic. |
| 650 #0 - SUBJECT | |
| Keyword | Algorithms. |
| 650 #0 - SUBJECT | |
| Keyword | Software engineering. |
| 650 #0 - SUBJECT | |
| Keyword | Computers. |
| 650 #0 - SUBJECT | |
| Keyword | Programming languages (Electronic computers). |
| 650 #0 - SUBJECT | |
| Keyword | Mathematical logic. |
| 650 14 - SUBJECT | |
| Keyword | Logics and Meanings of Programs. |
| 650 24 - SUBJECT | |
| Keyword | Algorithm Analysis and Problem Complexity. |
| 650 24 - SUBJECT | |
| Keyword | Software Engineering. |
| 650 24 - SUBJECT | |
| Keyword | Computation by Abstract Devices. |
| 650 24 - SUBJECT | |
| Keyword | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT | |
| Keyword | Mathematical Logic and Formal Languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Legay, Axel. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Margaria, Tiziana. |
| 856 40 - ONLINE RESOURCES | |
| url | https://doi.org/10.1007/978-3-662-54580-5 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | e-Books |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| Home library | Current library | Full call number | Accession number | Koha item type |
|---|---|---|---|---|
| Central Library, Sikkim University | Central Library, Sikkim University | 005.1015113 | E-3086 | e-Books |