We therefore propose a declarative platform wherein behavioral program models can be expressed in terms of userdefined high-level concepts and be automatically ...

An Approach to High-Level Behavioral Program Documentation Allowing. Lightweight Verification ... to document and verify the stack's behavior in a high-level.

We therefore propose a declarative platform wherein behavioral program models can be expressed in terms of userdefined high-level concepts and be automatically ...

A declarative platform wherein behavioral program models can be expressed in terms of user-defined high-level concepts and be automatically verified against ...

We demonstrate our approach by using it to both document and verify an interpreter for a garbage-collected programming language. An Approach to High-Level ...

Once these models become machine-verifiable, they can be used throughout an application's lifetime to check whether the documented behavioral properties ...

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification ; Published - 2006 · 14th International Conference on Program ...

Bibliographic details on An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo ...

In this dissertation, we describe novel contributions to lightweight verification via the use of specialized pluggable typecheckers. Our contributions are in ...