Foundations, Tools, and Methodologies for High Assurance Software Development.

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.

More Projects hosted by the SAnToS Lab


Warning: DOMDocument::loadXML() [domdocument.loadxml]: Specification mandate value for attribute selected in Entity, line: 93 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Entity 'nbsp' not defined in Entity, line: 96 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Entity 'nbsp' not defined in Entity, line: 203 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: input line 203 and form in Entity, line: 203 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: input line 203 and center in Entity, line: 203 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Entity 'reg' not defined in Entity, line: 204 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: input line 203 and div in Entity, line: 206 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: form line 203 and div in Entity, line: 208 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: center line 203 and body in Entity, line: 210 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Opening and ending tag mismatch: div line 124 and html in Entity, line: 211 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Premature end of data in tag div line 119 in Entity, line: 212 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Premature end of data in tag div line 118 in Entity, line: 212 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Premature end of data in tag body line 41 in Entity, line: 212 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

Warning: DOMDocument::loadXML() [domdocument.loadxml]: Premature end of data in tag html line 4 in Entity, line: 212 in /.automount/avenger.cis.ksu.edu/root/exports/research/plgroup/public_html/components/news.php on line 38

RSS Feed