Dependence analysis for inferring information flow properties in Spark ADA programs
Master of Science === Department of Computing and Information Sciences === John Hatcliff === With the increase in development of safety and security critical systems, it is important to have more sophisticated methods for engineering such systems. It can be difficult to understand and verify critica...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
Kansas State University
2011
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2097/13187 |