Browsing by Author "Barland, Ian"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Intro to Logic
    (Rice University, 2010-06-11) Barland, Ian; Kolaitis, Phokion; Vardi, Moshe; Felleisen, Matthias; Greiner, John
    An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
  • Thumbnail Image
    Item
    Model Checking Concurrent Programs
    (Rice University, 2007-04-12) Barland, Ian; Vardi, Moshe; Greiner, John
    Introduction to the use of Promela and SPIN as a model-checker for verifying concurrent programs. The underlying transition system is used as a model for the interpretation of Linear Temporal Logic (LTL) formulas.