Burkhart Wolff

 

Website: https://www.lri.fr/~wolff/

 

Entries

2019

October 22: Isabelle/C

October 4: Clean - An Abstract Imperative Programming Language and its Theory

July 30: A Formal Development of a Polychronous Polytimed Coordination Language

April 26: HOL-CSP Version 2.0

February 1: Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

 

2017

January 8: Formal Network Models and Their Application to Firewall Policies

 

2016

August 18: Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths

 

2015

September 16: A Meta-Model for the Isabelle API

 

2014

November 28: The Unified Policy Framework (UPF)

July 18: Formal Specification of a Generic Separation Kernel

January 16: Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

 

2012

May 27: Isabelle/Circus