Welcome to SAnToS...
The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS Laboratory) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. The laboratory is an outgrowth of the programming languages group in the CIS Department at Kansas State University. Take a look at some of our research projects below ...
Bandera
[more...]
The goal of the Bandera project is to integrate existing programming language processing techniques with newly developed techniques to provide automated support for the extraction of safe, compact, finite-state models that are suitable for verification from Java source code. required.
Cadena
[more...]
The Cadena project uses component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development.
Bogor
[more...]
Bogor is an extensible software model checking framework with state of the art software model checking algorithms, visualizations, and user interface designed to support both general purpose and domain-specific software model checking.
Indus [more...]
Indus is an effort to provide a collection of program analyses and transformations implemented in Java to customize and adapt Java programs.
Sensor Network [more...]
The Sensor Network project aims to develop a framework for model-driven, product line-based design and implementation of sensor network applications. This leverages the work currently being done in the Cadena project.