Course adoptions
A list (no longer maintained) of courses that have used this text in some form:
- California State University, San Bernadino, Computer Science Departments, California CS556: Formal Methods Course, Winter Semester 2002.
- Indian Institute of Technology, Delhi, Department of Computer Science and Engineering, India CS253F: Introduction to Logic in Computer Science, Semester 2001 - 2002.
- Humboldt-Universität zu Berlin, Institut für Informatik Lehrstuhl
für Automaten- und Systemtheorie, Germany Temporale
Logik zur Spezifikation und Verifikation verteilter Systeme,
(Logic for specification and verification of distributed systems);
Summer 2001.
- University of Hamburg, Department of Computer Science, Hamburg, Germany Logische Grundlagen verteilter Systeme, (Logical Foundations of
Distributed Systems); Spring 2001.
- University of Ottawa, School of Information Technology and Engineering
, Canada CSI 5110 (95.577) Principles of Formal Software Development, Winter 2001.
- Dipartimento di Matematica e Informatica,
Università degli Studi di Udine,
Italy, Metodi
Formali per L'Informatica: Model Checking I-II, 2000-2001.
d
- Oregon Graduate Institute of Science and Technology, Department
of Computer Science and Engineering, USA, CSE580 Hardware and
Software Verification, Winter 2001.
- School of Computer Science, University of Birmingham, United Kingdom, Mathematics & Logic B, Fall 2000.
- Division of Mathematics and Computer Science, Vrije Universiteit
Amsterdam, The Netherlands, Formal Methods Master course, (Introduction to Logic) Spring 2001.
- University of Ottawa, Mathematics and Statistics, Canada MAT 5361
Topics in mathematical logic, Winter 2001.
- University of the German Forces, Munich, Department of Computer
Science, Germany Specification
techniques, Winter 2001.
- University of Marburg, Department of Mathematics, Germany CS 525
Model Checking, Spring 2001.
- McGill University, School of Computer Science, Canada CS 525
Formal Verification, Winter 2001.
- Princeton University, Department of Computer Science, USA COS
496 Special Topics in Computer Science: Automated Theorem Proving,
Spring 2001.
- Carnegie Mellon University, School of Computer Science, USA 15-399 Constructive Logic, Fall 2000.
- Waseda University, Japan Seminar
on Model Checking, Fall 2000.
- Universidade do Vale do Rio dos Sinos, Informática, Brazil, 65099
- Programação em Lógica (Programming and
Logic), Fall 2000.
- Division of Mathematics and Computer Science, Vrije Universiteit
Amsterdam, The Netherlands, Inleiding
Logica 00-01, (Introduction to Logic) Fall 2000.
- Computer Science at the University of Victoria, Canada,
CSC322:
Logic and Programming, Fall 2000.
- Department of Computer Science at the University of Toronto, Canada,
CSC2108F: Automated Verification, Fall 2000.
- Computer Laboratory, University of Cambridge, United Kingdom, Logic and
Proof, Summer 2000.
- Department of Computer Science at York University, Canada,
COSC3341
- Introduction to Program Verification, Fall 2000.
- Basic Research in Computer Science (BRICS), Denmark,
Introduction to
logic, Fall 2000.
- Department of Computer Science at the University of Wyoming, USA,
COSC 5880:
Software Verification and Validation, Fall 2000.
- Department of Computer Science at the University of Toronto, Canada,
ECE450:
Software Engineering II, Spring 2000.
- Institute of Datatechnology and Information Sciences at the Norges
University of Technical and Natural Sciences in Trondheim, Norway,
SAF8015 Logikk, Spring 2000.
- Artificial Intelligence Research Group, University of Koblenz, Germany,
Verifikation Verteilter
Systeme (verification of distributed systems), Summer 2000.
- Department of Mathematics and Computer Science, Clarkson University,
New York, USA, (U.S. News Best College 2000/Best Value 1999)
CS458/558 Formal Methods, Spring 2000.
- Lehrgebiet Theoretische Informatik I, Feruni Hagen, Germany
(Theoretical Computer Science, Distance Learning University Hagen)
1829 Modelling and Reasoning about Systems, Summer 2001.
- Department of Computer Science, University of Toronto, Canada
CSC444F:
Software Engineering I (background reading in formal methods), Fall 1999.
- Department of Computer Science, University of Pretoria, South Africa
FAC751: Formal
aspects of computing, Second semester, 2000.
- The School of Computer Science & Engineering, The University of New
South Wales, Sydney, Australia
COMP2411 Logic and Logic
Programming, Spring 2000.
- Technical University Dresden, Faculty of Informatics, Institute of
Theoretical Computer Science, Germany
Modale Logik and deren Anwendungen (modal logics and their
applications), Summer 2000.
- The School of Computer Science, University of Birmingham, United Kingdom
06-02316 Logic
(SEM1A6), Summer 2000
- Department of Computing and Information Sciences, Kansas State University,
USA CIS301
Logical Foundations of Programming, Fall 2000.
Back to main index.