The Code Validation Tool (CVT) - Automatic verification of code generated from synchronous languages (1998)

Cached

Download Links

by A. Pnueli , O. Shtrichman , M. Siegel
Venue:Software Tools for Technology Transfer
Citations:30 - 8 self