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: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: