Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:verification_as_science [2010/02/22 13:11]
vkuncak
sav08:verification_as_science [2010/02/22 13:13] (current)
vkuncak
Line 14: Line 14:
  
 In synthesis: Given a specification,​ find a program that satisfies this specification. In synthesis: Given a specification,​ find a program that satisfies this specification.
 +
 +<draw name=sav08_synth_picture>​
  
 Key steps in building such tools: Key steps in building such tools:
 
sav08/verification_as_science.txt · Last modified: 2010/02/22 13:13 by vkuncak
 
© EPFL 2018 - Legal notice