Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / / edited by Tomáš Vojnar, Lijun Zhang |
Autore | Vojnar Tomáš |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXIII, 433 p. 1251 illus., 61 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession |
ISBN | 3-030-17462-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach – A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !-Regular Language Learning Library -- Symbolic Regex Matcher -- COMPASS 3.0 -- Debugging of Behavioural Models with CLEAR -- Machine Learning -- Omega-Regular Objectives in Model-Free Reinforcement Learning -- Verifiably Safe Off-Model Reinforcement Learning. . |
Record Nr. | UNISA-996466301903316 |
Vojnar Tomáš
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / / edited by Tomáš Vojnar, Lijun Zhang |
Autore | Vojnar Tomáš |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXIII, 433 p. 1251 illus., 61 illus. in color.) |
Disciplina |
005.1015113
004.21 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession |
ISBN | 3-030-17462-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures -- Encoding Redundancy for Satisfaction-Driven Clause Learning -- WAPS: Weighted and Projected Sampling -- Building Better Bit-Blasting for Floating-Point Problems -- The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition -- Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework -- SAT Solving and Theorem Proving -- Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks -- Incremental Analysis of Evolving Alloy Models -- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Verification and Analysis LCV: A Verification Tool for Linear Controller Software -- Semantic Fault Localization and Suspiciousness Ranking -- Computing Coupled Similarity -- Reachability Analysis for Termination and Confluence of Rewriting -- Model Checking -- VoxLogicA: a Spatial Model Checker for Declarative Image Analysis -- On Reachability in Parameterized Phaser Programs -- Abstract Dependency Graphs and Their Application to Model Checking -- Tool Demo -- nonreach – A Tool for Nonreachability Analysis -- The Quantitative Verification Benchmark Set -- ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions -- MetAcsl: Specification and Verification of High-Level Properties -- ROLL 1.0: !-Regular Language Learning Library -- Symbolic Regex Matcher -- COMPASS 3.0 -- Debugging of Behavioural Models with CLEAR -- Machine Learning -- Omega-Regular Objectives in Model-Free Reinforcement Learning -- Verifiably Safe Off-Model Reinforcement Learning. . |
Record Nr. | UNINA-9910337838403321 |
Vojnar Tomáš
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II / / edited by Tomáš Vojnar, Lijun Zhang |
Autore | Vojnar Tomáš |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXIII, 413 p. 552 illus., 55 illus. in color.) |
Disciplina |
005.1015113
004.21 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Machine theory Algorithms Logic design Logic programming Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Logic Design Logic in AI |
ISBN | 3-030-17465-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. |
Record Nr. | UNINA-9910337838003321 |
Vojnar Tomáš
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Types for proofs and programs : International workshop TYPES '93 : Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow (eds.) |
Autore | International Workshop TYPES : <1. : ; 1993 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | 383 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1993 |
ISBN |
0387580859
3540580859 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10007126 |
International Workshop TYPES : <1. : ; 1993
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Unconventional Computation and Natural Computation [[electronic resource] ] : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings / / edited by Ian McQuillan, Shinnosuke Seki |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 287 p. 247 illus., 61 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Numerical analysis Computer science - Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science |
ISBN | 3-030-19311-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Co-designing the computational model and the computing substrate -- Contributed Papers -- Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces -- Quantum Dual Adversary for Hidden Subgroups and Beyond -- Further Properties of Self-assembly by Hairpin Formation -- The Role of Structure and Complexity on Reservoir Computing Quality -- Lindenmayer Systems and Global Transformations -- Swarm-based multiset rewriting computing models -- DNA Origami Words and Rewriting Systems -- Computational Limitations of Affine Automata -- An Exponentially Growing Nubot System Without State Changes -- Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement -- Quantum Algorithm for Dynamic Programming Approach for DAGs. Applications for Zhegalkin Polynomial Evaluation and Some Problems on DAGs -- Viewing rate-based neurons as biophysical conductance outputting models -- The Lyapunov Exponents of Reversible Cellular Automata Are Uncomputable -- Geometric Tiles and Powers and Limitations of Geometric Hindrance in Self-Assembly -- DNA Computing Units Based on Fractional Coding -- The role of the representational entity in physical computing -- OIM: Oscillator-based Ising Machines for Solving Combinatorial Optimisation Problems -- Relativizations of Nonuniform Quantum Finite Automata Families -- Self-stabilizing Gellular Automata. |
Record Nr. | UNISA-996466327103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unconventional Computation and Natural Computation : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings / / edited by Ian McQuillan, Shinnosuke Seki |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 287 p. 247 illus., 61 illus. in color.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Artificial intelligence Numerical analysis Computer science - Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science |
ISBN | 3-030-19311-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Co-designing the computational model and the computing substrate -- Contributed Papers -- Generalized Membrane Systems with Dynamical Structure, Petri Nets, and Multiset Approximation Spaces -- Quantum Dual Adversary for Hidden Subgroups and Beyond -- Further Properties of Self-assembly by Hairpin Formation -- The Role of Structure and Complexity on Reservoir Computing Quality -- Lindenmayer Systems and Global Transformations -- Swarm-based multiset rewriting computing models -- DNA Origami Words and Rewriting Systems -- Computational Limitations of Affine Automata -- An Exponentially Growing Nubot System Without State Changes -- Impossibility of Sufficiently Simple Chemical Reaction Network Implementations in DNA Strand Displacement -- Quantum Algorithm for Dynamic Programming Approach for DAGs. Applications for Zhegalkin Polynomial Evaluation and Some Problems on DAGs -- Viewing rate-based neurons as biophysical conductance outputting models -- The Lyapunov Exponents of Reversible Cellular Automata Are Uncomputable -- Geometric Tiles and Powers and Limitations of Geometric Hindrance in Self-Assembly -- DNA Computing Units Based on Fractional Coding -- The role of the representational entity in physical computing -- OIM: Oscillator-based Ising Machines for Solving Combinatorial Optimisation Problems -- Relativizations of Nonuniform Quantum Finite Automata Families -- Self-stabilizing Gellular Automata. |
Record Nr. | UNINA-9910337859103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification of business rules programs / / Bruno Berstel-Da Silva |
Autore | Berstel-Da Silva Bruno |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Heidelberg [Germany] : , : Springer, , 2014 |
Descrizione fisica | 1 online resource (xvii, 236 pages) : illustrations (some color) |
Disciplina |
004
005.1015113 005.11 005.74 |
Collana | Gale eBooks |
Soggetto topico |
Business - Computer network resources
Rule-based programming |
ISBN | 3-642-40038-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chap. 1 - Introduction -- Chap. 2 - Related Work -- Chap. 3 - Syntax of Rules and Rule Programs -- Chap. 4 - States and State Assertions -- Chap. 5 - Operational Semantics of Rule Programs -- Chap. 6 - Correctness of Rule Programs -- Chap. 7 - Correctness of Programs: A Comparison -- Chap. 8 - Main Steps in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10 - Specialized Proof Rules -- Chap. 11 - Conclusion -- Appendix A - Verification in an Industrial Business Rules Management System -- List of Proof Rules -- Index. . |
Record Nr. | UNINA-9910298573803321 |
Berstel-Da Silva Bruno
![]() |
||
Heidelberg [Germany] : , : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XI, 556 p. 123 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Theory of Computation Artificial Intelligence |
ISBN | 3-642-35873-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465985703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XI, 556 p. 123 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer networks Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Communication Networks Formal Languages and Automata Theory Theory of Computation Artificial Intelligence |
ISBN | 3-642-35873-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910739451903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / / edited by Viktor Kuncak, Andrey Rybalchenko |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 457 p. 111 illus.) |
Disciplina | 005.1015113 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Algorithms Machine theory Computer programming Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-642-27940-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465877403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|