JavaScript is disabled for your browser. Some features of this site may not work without it.
Kleene Algebra with Tests and the Static Analysis of Programs

Author
Kozen, Dexter
Abstract
We propose a general framework for the static analysis of programs
based on Kleene algebra with tests (KAT). We show how KAT can be used to statically verify compliance with safety policies specified by security automata. We prove soundness and completeness over relational interpretations. We illustrate the method on an example involving the correctness of a device driver.
Date Issued
2003-11-17Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1915
Type
technical report