Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
This paper reviews the progress made in the use of formal methods in the last 15 years and suggests some reasons for the failure of formal methods in places where they promised to be most effective. It proposes a way in which formal methods can nevertheless be infiltrated into software development activities with beneficial results.
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
Preeti Malakar, Thomas George, et al.
SC 2012
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003