Search filters

List of works by Néstor Cataño

A Case Study in JML-Assisted Software Development

article

A case study on the lightweight verification of a multi-threaded task server

A linear concurrent constraint approach for the automatic verification of access permissions

CHASE:A Static Checker for JML’s Assignable Clause

article

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

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

article published in 2002

Formal methods for smart cards: an experience report

article published in 2005

Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies

Slicing Event Spaces

Translating B machines to JML specifications

Paulina is supported by:

About Paulina

Help