Reachability Analysis for Multiloop Programs Using Transition Power Abstraction

Informazioni aggiuntive

Autori

Sharygina N., Britikov K., Blicha M., Fedyukovich G.

Tipo

Contributo in atti di convegno

Anno

2024

Lingua

Inglese

Nome convegno

FM 2024

Luogo convegno

Milan, Italy

Data convegno

September 9-13, 2024

DOI

10.1007/978-3-031-71162-6_29

Università della
Svizzera italiana
Via Buffi 13
6900 Lugano, Svizzera
tel +41 58 666 40 00
e-mail info@usi.ch
Altri contatti
Feedback sul sito