References

 
Textbook 1: Mathematical Logic for Computer Science, Lu Zhongwan, World Scientific, 1998


Textbook 2: Principles of Model Checking, Biar, MIT Press, 2008


Textbook 3: Reasoning About Knowledge, Fagin, Halpern, Moses, Vardi, MIT Press, 1995


Other resources:
  • PVS: The PVS documentation at SRI website.