398 citations · 462 across the 9 of their papers we have counts for
1 paper · 1 filter
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future,…