LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:lecture26 [2008/11/14 20:39]
vkuncak
sav08:lecture26 [2008/11/14 20:40] (current)
vkuncak
Line 62: Line 62:
 [[http://​www.cs.utexas.edu/​~moore/​acl2/​|ACL2]] - emphasis on executable functions, quantifier-free statements, automated induction, pioneering industrial-scale case studies [[http://​www.cs.utexas.edu/​~moore/​acl2/​|ACL2]] - emphasis on executable functions, quantifier-free statements, automated induction, pioneering industrial-scale case studies
  
-===== Example Results in Isabell ​=====+===== Example Results in Isabelle ​=====
  
 <​code>​NipkowETAL06FlyspeckI,​ <​code>​NipkowETAL06FlyspeckI,​