Now showing items 1-2 of 2

    • The use of a theorem prover to verifity a liquid flow control program 

      Uçar, Erkan (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 ...
    • UVT: a unification based tool for knowledge based verification 

      Polat, F.; Guvenir, H. A. (IEEE, 1993)
      A method for verifying knowledge bases that is based on the unification of rules is discussed. One characteristic that distinguishes this approach from other verification tools is that it infers some of the rules that are ...