On 02/11/2014 01:11 AM, Pascal Kesseli wrote:
We are developing a bounded model checker for C/C++ called CBMC here at the
University of Oxford. We're currently evaluating different options to
implement a Java frontend for the program, allowing us to statically verify
Java code as well.
There's o
Hi everyone,
We are developing a bounded model checker for C/C++ called CBMC here at the
University of Oxford. We're currently evaluating different options to
implement a Java frontend for the program, allowing us to statically verify
Java code as well.
There's obviously a whole series of problem
