Reachability Analysis for Multiloop Programs Using Transition Power Abstraction

Additional information

Authors

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

Type

Article in conference proceedings

Year

2024

Language

English

Meeting name

FM 2024

Meeting place

Milan, Italy

Meeting date

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
Other contacts
Feedback on the website