Search for dissertations about: "Andrei Popescu"

Found 1 swedish dissertation containing the words Andrei Popescu.

2. 1. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

   Author : Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

   Abstract : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. READ MORE