The SLAM Toolkit
No abstract available.
Related papers
- The SLAM project: debugging system software via static analysis POPL 2002
- Polymorphic predicate abstraction TOPLAS 2005
- The SLam Calculus: Programming with Secrecy and Integrity POPL 1998
- A Lambda-Superposition Tactic for Isabelle/HOL CPP 2026
- Symbolic Automata: The Toolkit TACAS 2012
- Banshee: A Scalable Constraint-Based Analysis Toolkit SAS 2005
- GameTime: A Toolkit for Timing Analysis of Software TACAS 2011
- An Easy-to-Use Toolkit for Efficient Java Bytecode Translators GPCE 2003