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 |
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 |
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 |
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 |
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 |
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 | ||
|