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.
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (439 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57256-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural networks -- testing and verification -- games -- concurrency -- SV-Comp 2024. . |
| Record Nr. | UNISA-996594169703316 |
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (413 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57246-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SAT and SMT Solving -- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories -- Z3-Noodler: An Automata-based String Solver -- TaSSAT: Transfer and Share SAT -- Speculative SAT modulo SAT -- Happy Ending: An Empty Hexagon in Every Set of 30 Points -- Synthesis -- Fully Generalized Reactivity(1) Synthesis -- Knor: reactive synthesis using Oink -- On Dependent Variables in Reactive Synthesis -- CESAR: Control Envelope Synthesis via Angelic Refinements -- Logic and Decidability -- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains -- Deciding Boolean Separation Logic via Small Models -- Asynchronous Subtyping by Trace Relaxation -- Program Analysis and Proofs -- SootUp: A Redesign of the Soot Static Analysis Framework -- Formally verified asymptotic consensus in robust networks -- Formally Verifying an Efficient Sorter -- Explainable Online Monitoring of Metric First-Order Temporal Logic -- Proof Checking -- IsaRare: Automatic Veri cation of SMT Rewrites in Isabelle/HOL -- Automate where Automation Fails: Proof Strategies for Frama-C/WP -- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification -- A Logical Treatment of Finite Automata -- A State-of-the-Art Karp-Miller Algorithm Certified in Coq. |
| Record Nr. | UNISA-996594169403316 |
|
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (399 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57249-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking -- automata and learning -- software verification -- probabilistic systems -- simulations. |
| Record Nr. | UNISA-996594169303316 |
|
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (413 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57246-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SAT and SMT Solving -- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories -- Z3-Noodler: An Automata-based String Solver -- TaSSAT: Transfer and Share SAT -- Speculative SAT modulo SAT -- Happy Ending: An Empty Hexagon in Every Set of 30 Points -- Synthesis -- Fully Generalized Reactivity(1) Synthesis -- Knor: reactive synthesis using Oink -- On Dependent Variables in Reactive Synthesis -- CESAR: Control Envelope Synthesis via Angelic Refinements -- Logic and Decidability -- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains -- Deciding Boolean Separation Logic via Small Models -- Asynchronous Subtyping by Trace Relaxation -- Program Analysis and Proofs -- SootUp: A Redesign of the Soot Static Analysis Framework -- Formally verified asymptotic consensus in robust networks -- Formally Verifying an Efficient Sorter -- Explainable Online Monitoring of Metric First-Order Temporal Logic -- Proof Checking -- IsaRare: Automatic Veri cation of SMT Rewrites in Isabelle/HOL -- Automate where Automation Fails: Proof Strategies for Frama-C/WP -- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification -- A Logical Treatment of Finite Automata -- A State-of-the-Art Karp-Miller Algorithm Certified in Coq. |
| Record Nr. | UNINA-9910847589703321 |
|
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (399 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57249-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking -- automata and learning -- software verification -- probabilistic systems -- simulations. |
| Record Nr. | UNINA-9910847586203321 |
|
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / / edited by Bernd Finkbeiner, Laura Kovács
| Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / / edited by Bernd Finkbeiner, Laura Kovács |
| Autore | Finkbeiner Bernd |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (439 pages) |
| Disciplina | 40,151 |
| Altri autori (Persone) | KovácsLaura |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Microprogramming Computer networks Computer simulation Software engineering Theory of Computation Control Structures and Microprogramming Computer Communication Networks Computer Modelling Software Engineering |
| ISBN | 3-031-57256-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Neural networks -- testing and verification -- games -- concurrency -- SV-Comp 2024. . |
| Record Nr. | UNINA-9910847591303321 |
|
Finkbeiner Bernd
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||