Clara
Compile-time Approximation of Runtime Analyses
Overview
Documentation
Videos/Tutorials/Presentations
Using Clara
Components, Features & Abstractions
Specifying typestate properties
Dependent Advice
Dependency State Machines
Clara-compatible Runtime Monitors
Hand-writing a Clara-compatible monitor
Generating a Clara-compatible monitor automatically
How to implement a typestate analysis
Existing analyses in Clara
Mailing List
Downloads
Benchmarks
Publications
Contact
test
Eric Bodden
| September 4, 2009
Categories
Uncategorized
Comments rss
Trackback
