Now showing items 7-7 of 7

    • Verifying Temporal Properties without using Temporal Logic 

      Alpern, Bowen; Schneider, Fred B. (Cornell University, 1987-07)
      An approach to proving temporal properties of concurrent programs that does not use temporal logic as an inference system is presented. The approach is based on using Buchi automata to specify properties. To show that a ...