Solving parallel equations for Finite State Machines with Timeouts

Por O. . Kondratyeva, N. . Yevtushenko, A Cavalli.
Publicado em 2018-10-01

A SPIN-based Approach for Detecting Vulnerabilities in C Programs

Por N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca
Publicado em 2011-12-01