M. Perrotin

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Formal Verification

Computer Systems

Top Venues

Publications

Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, T. Jorge, E. Alaña, M. Perrotin
Formal verification of space systems designed with TASTE. CoRR (2021)