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
Mailing List
Having trouble with Clara? Wish to stay up-to-date about Clara? Please join
our mailing list
!
