program analysis
program verification
automated theorem proving
TPTP
Vampire
first-order logic
Chalmers, Data- och informationsteknik, Programvaruteknik
Chalmers, Data- och informationsteknik, Programvaruteknik
University of Manchester
Chalmers, Data- och informationsteknik, Programvaruteknik
37-48
Informations- och kommunikationsteknik
Datavetenskap (datalogi)
10.1145/2854065.2854071
978-1-4503-4127-1