You are here: Home -  Hollister Women Long Tees

We present lessons learned from using mechanical theorem proving for proof support in software verification, with trusted execution of programs in mind. We will use two realistic running examples, compiler verification, which is central...

Continue Reading

Recent Comments