List of works - Marieke Huisman - Paulina

List of works by Marieke Huisman

CHASE:A Static Checker for JML’s Assignable Clause

article

Effective verification of confidentiality for multi-threaded programs

scientific article published in 2014

Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java

article published in 2002

TOOLympics 2019: An Overview of Competitions in Formal Methods

scientific article published in 2019

VerifyThis 2015

Witnessing the elimination of magic wands.

scientific article

Paulina is supported by:

About Paulina

Help