Browsing by Keywords "Real-Time Control"
Now showing items 1-1 of 1
-
The use of a theorem prover to verifity a liquid flow control program
(Bilkent University, 1993)Program verification is an important task since it produces reliable software. Verification of real-time control programs needs special attention since these run in the real world and it is difficult to determine their ...