Bernd Fischer Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

bfischer -at- cs.sun.ac.za
+27 21 808 4232

ConceptCloud

(details coming soon...)


CSeq

(details coming soon...)


ESBMC

(details coming soon...)


AutoCert

(details coming soon...)


AutoBayes

(details coming soon...)


NORA/HAMMR

(details coming soon...)


Conferences

Classes

(on sabbatical)

Tools

Publications

DBLP
Google Scholar