LARA – Lab for Automated Reasoning and Analysis - - discu.eu

Reddit

Leon: an "automated system for synthesizing and verifying functional Scala programs" http://lara.epfl.ch/w/leon 4 comments 9/1/2015 scala

Linking pages

tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments

Linked pages

Leon Online http://leon.epfl.ch/ 11 comments

Related searches:

Search whole site: site:lara.epfl.ch

Search title: LARA – Lab for Automated Reasoning and Analysis -

See how to search.

Submit link to: