Lab for Automated Reasoning and Analysis LARA

The following software tools are currently available:

• Leon - Verifier and Synthesizer for Scala
• InSynth - Interactive Synthesis
• Eldarica - Predicate Abstraction Engine
• Pong Designer - Programming Games by Demonstration
• SmartFloat - Numerical Error Estimator
• Phantm - PHp ANalyzer for Type Mismatch
• Kaplan - Constraint Programming Extension of Scala, based on Leon
• Scala to the Power of Z3
• RegSy - Regular Synthesis over Unbounded Domains
• Comfusy - Complete Functional Synthesis
• UDITA Tool for Systematic Test Generation
• Nenofar - Negation Normal Form Automated Reasoner
• Jahob system