Verification and Analysis for Safety and Security of Applications in Life


Project Acronym Projekt Kurzbezeichnung
VASSAL
 
Project Title (de) Projekttitel (de)
Verification and Analysis for Safety and Security of Applications in Life
 
Project Title (en) Projekttitel (en)
Verification and Analysis for Safety and Security of Applications in Life
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
101160022
 

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sextl-2026-Brushing off the Rust Towards Compositional Memory Safety Veri...-vor.pdf.jpgSextl, Florian Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe RustPresentation Vortrag 13-Apr-2026
2Melani, Beatrice ; Bartocci, Ezio ; Chiari, Michele A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal OperatorsArticle Artikel 26-Sep-2025
3Pluska, Alexander ; Malhotra, Sagar On Local Limits of Sparse Random Graphs: Color Convergence and the Refined Configuration ModelInproceedings Konferenzbeitrag 18-Sep-2025
4Pontiggia, Francesco ; Macák, Filip ; Andriushchenko, Roman ; Michele Chiari ; Češka, Milan Decentralized Planning Using Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 5-Jun-2025