Verification, model checking and abstract interpretation Part 1
Abstract Interpretation.- Formal Runtime Error Detection During Development in the Automotive Industry.- Abstract Interpretation-Based Feature Importance for Support Vector Machines.- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.- Correctness Witness Validation by...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2024
|
| Schriftenreihe: | Lecture notes in computer science
14499 |
| Schlagworte: |
Algorithms & data structures
> Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Computer Science
> COMPUTERS / Data Processing / General
> COMPUTERS / Expert Systems
> COMPUTERS / Hardware / General
> COMPUTERS / Programming / Software Development
> Computer science
> Computerhardware
> Expert systems / knowledge-based systems
> Künstliche Intelligenz
> Mathematical theory of computation
> Mathematik für Informatiker
> Software Engineering
> Theoretische Informatik
> Wissensbasierte Systeme, Expertensysteme
> Konferenzschrift
|
| Online Zugang: | Cover Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Titel | Jahr | Band |
|---|---|---|
| Verification, model checking and abstract interpretation Part 1 | 2024 | 14499 |
| Verification, model checking, and abstract interpretation Part 2 | 2024 | 14500 |