Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
| Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 351 p. 74 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer simulation Mathematical statistics Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science |
| ISBN | 3-319-69483-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. |
| Record Nr. | UNISA-996465637303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
| Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 351 p. 74 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer simulation Mathematical statistics Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science |
| ISBN | 3-319-69483-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. |
| Record Nr. | UNINA-9910483877403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / / edited by Kim Guldstrand Larsen, Tim Willemse
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / / edited by Kim Guldstrand Larsen, Tim Willemse |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 161 p. 156 illus., 33 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computers Artificial intelligence Computer simulation Programming Languages, Compilers, Interpreters Software Engineering Theory of Computation Artificial Intelligence Simulation and Modeling |
| ISBN | 3-030-27008-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Verification of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. |
| Record Nr. | UNISA-996466426203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / / edited by Kim Guldstrand Larsen, Tim Willemse
| Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / / edited by Kim Guldstrand Larsen, Tim Willemse |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 161 p. 156 illus., 33 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computers Artificial intelligence Computer simulation Programming Languages, Compilers, Interpreters Software Engineering Theory of Computation Artificial Intelligence Simulation and Modeling |
| ISBN | 3-030-27008-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC -- Formal Modelling and Verification of an Interlocking using mCRL2 -- A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development -- The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining formal methods and DSMLs -- Probabilistic Verification for Reliable Network-on-Chip System Design -- A Simulator for LLVM Bitcode -- Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. |
| Record Nr. | UNINA-9910349303503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reachability Problems [[electronic resource] ] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba
| Reachability Problems [[electronic resource] ] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 193 p. 38 illus.) |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-45994-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Ideal Theory for WSTS -- Rare events for Statistical Model Checking -- On the Complexity of Resource-Bounded Logics -- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs -- Reachability Predicates for Graph Assertions -- Occam's Razor Applied to the Petri Net Coverability Problem -- Safety Property-driven Stubborn Sets -- Characterizing Word Problems of Groups -- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations -- Decidable Models of Integer-manipulating Programs with Recursive Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words. |
| Record Nr. | UNISA-996465984603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba
| Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 193 p. 38 illus.) |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-45994-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Ideal Theory for WSTS -- Rare events for Statistical Model Checking -- On the Complexity of Resource-Bounded Logics -- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked Graph Reachability Graphs -- Reachability Predicates for Graph Assertions -- Occam's Razor Applied to the Petri Net Coverability Problem -- Safety Property-driven Stubborn Sets -- Characterizing Word Problems of Groups -- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using Local Fixed-point Iterations -- Decidable Models of Integer-manipulating Programs with Recursive Parallelism -- Robot Games with States in Dimension One -- Insertion-deletion Systems over Relational Words. |
| Record Nr. | UNINA-9910484541703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sustainable Energy Systems Planning, Integration and Management
| Sustainable Energy Systems Planning, Integration and Management |
| Autore | Mohammadi-ivatloo Behnam |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 electronic resource (286 p.) |
| Soggetto non controllato |
Romanian coastal environment
neural networks intermittent heating wind velocities time-space network optimal chiller loading (OCL) renewable energy pure electric buses mixed-integer non-linear programming problem (MINLP) control system FANP energy consumption load regulation energy smart box novel method smart logistics system multiple uncertainties non-intrusive load monitoring wind speed forecasting solid waste to energy plant uncertain cooling demand dual robust optimization Black Sea field test and numerical simulation electric power sustainable development multi-type bus operating organization cuckoo search algorithm vehicular emissions SWAN public transport product quality model MCDM TOPSIS heat transfer solar energy forecasting validity information gap decision theory (IGDT) photovoltaic systems configurations of internal wall ensemble empirical mode decomposition agricultural pruning hot summer and cold winter climate zone energy and environmental systems feature extraction information platform pruning biomass smart grid product usability testing meteorological variables fuzzy logic performance evaluation rural residential building threshold value of daily operation hours datacenter wave energy thermal comfort heat storage and release resampling risk aversion environment support vector machine internal coverings numerical models gradient descent renewable biomass energy demand response |
| ISBN | 3-03928-047-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910372783903321 |
Mohammadi-ivatloo Behnam
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / / edited by Jan Friso Groote, Kim Guldstrand Larsen
| Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / / edited by Jan Friso Groote, Kim Guldstrand Larsen |
| Autore | Groote Jan Friso |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (483 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | LarsenKim Guldstrand |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Microprogramming Logic programming Theory of Computation Computer Engineering and Networks Control Structures and Microprogramming Logic in AI |
| ISBN | 3-030-72016-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. . |
| Record Nr. | UNISA-996464385403316 |
|
Groote Jan Friso
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen
| Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen |
| Autore | Groote Jan Friso |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (476 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | LarsenKim Guldstrand |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Microprogramming Software engineering Theory of Computation Computer Engineering and Networks Control Structures and Microprogramming Software Engineering |
| ISBN | 3-030-72013-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). |
| Record Nr. | UNISA-996464422003316 |
|
Groote Jan Friso
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen
| Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen |
| Autore | Groote Jan Friso |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (476 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | LarsenKim Guldstrand |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer engineering Computer networks Microprogramming Software engineering Theory of Computation Computer Engineering and Networks Control Structures and Microprogramming Software Engineering |
| ISBN | 3-030-72013-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution). |
| Record Nr. | UNINA-9910473455503321 |
|
Groote Jan Friso
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
