Sciweavers

ICECCS
2000
IEEE
87views Hardware» more  ICECCS 2000»
14 years 4 months ago
Automated Result Verification with AWK
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
Balkhis Abu Bakar, Tomasz Janowski