The Lambda team

• Alberto Griggio, Fondazione Bruno Kessler (FBK), Trento.
• Gianluca Redondi, Fondazione Bruno Kessler (FBK), Trento.

Lambda is developed by the Formal Methods Unit of Fondazione Bruno Kessler.

Contact

Please write to or for questions and bug reports. The source distribution is on the Download page.

Related projects

• MathSAT 5: the SMT solver underlying Lambda.
• ic3ia: IC3 with implicit predicate abstraction.
• VMT-LIB: the input language.
• Kratos2: SMT-based model checker for imperative programs.