Results 11 to 11 of about 12 (11)
Verifiering av temporala egenskaper med hjälp av deduktiva verifierare [PDF]
, 2019 Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and
Lindberg, Axel +2 more
core