Next:
Challenges of model-checking program
Up:
The Bandera Tools for
Previous:
Introduction
Overview
Challenges of model-checking program source code
When might someone be interested in learning about Bandera?
Architecture of Bandera
Java infrastructure and intermediate representation:
Java front-end:
Property specification:
Static analysis:
Approach to model construction:
Slicing:
Abstract interpretation:
Back end model generation:
Roby Joehanes
Wed Mar 7 18:30:51 CST 2001