Get Whither Verified Software? - vstte ethz

Description
Whither Veri ed Software? Ramesh Bharadwaj Center for High Assurance Computer Systems Naval Research Laboratory Washington DC 20375 USA ramesh itd.nrl.navy.mil Abstract. This position paper addresses, and attempts to propose solu- tions for, critical issues in software engineering that need to be resolved before the Veri ed Software grand challenge as proposed by Professor Tony Hoare can be usefully exploited in...
Fill & Sign Online, Print, Email, Fax, or Download
Fill Online
  • Fill Online
  • eSign
  • eFax
  • Email
  • Add Annotation
  • Share
Fill Online
Rate This Form

5.0

Satisfied

38

 Votes