Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Prague"
Treffer 94 von 10544
|
|
| Link zu diesem Datensatz | https://d-nb.info/1364450127 |
| Art des Inhalts | Konferenzschrift |
| Titel | Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers / edited by Jonathan Protzenko, Azalea Raad |
| Person(en) |
Protzenko, Jonathan (Herausgeber) Raad, Azalea (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2025 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource, IX, 121 p. 37 illus., 22 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-86694-4 Printed edition:: ISBN: 978-3-031-86696-8 |
| Inhalt | -- MoXIchecker: An Extensible Model Checker for MoXI. -- Towards Verifying Security Policies for Infinite-State Systems. -- Deductive Verification of Sparse Sets in Why3. -- PolySAT: Word-level Bit-vector Reasoning in Z3. -- Proof-Producing Symbolic Execution for P4. -- Statically Inferring Usage Bounds for Infrastructure as Code. -- hax: Verifying Security-Critical Rust Software using Multiple Provers |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2505030407311.286050998915 DOI: 10.1007/978-3-031-86695-1 |
| URL | https://doi.org/10.1007/978-3-031-86695-1 |
| ISBN/Einband/Preis | 978-3-031-86695-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15525 |
| DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 94 von 10544
Administration
