Links of immediate relevance to our research project:

• Research opportunity (for academic credit) (on this site)
• CUNY Formal Methods Reading Group
• Bandera, a program-slicing tool, for which the documentation is here and some examples are here.
• Wisconsin Program-Slicing Project
• Specification patterns

Temporal Logic:

• Stanford Encyclopedia of Philosophy entries on Modal Logic and Temporal Logic (Temporal logic is a form of modal logic.)
• Jan Chomicki and David Toman, Temporal Logic in Information Systems, 1997
• Temporal Logic Case Study (elevator problem)
• Foundations of Temporal Logic, on the life and work of Arthur Norman Prior (1914-69), the founding father of temporal logic.
• Leslie Lamport, TLA - The Temporal Logic of Actions
• Starlog - a temporal logic programming language

Security analysis:

• Formal methods on the website of the Computer Security Group at Cambridge University, UK
• Formal methods for the analysis of authentication protocols and other papers by Aviel D. Rubin (at NYU)
• See also Network security research on my Internet security and your PC page.
• See also Cryptography research on my Cryptography links page

Object-oriented design specification languages

• Unified Modeling Language (UML)
• Object-oriented Process, Environment and Notation (OPEN)

Other formal methods sites:

• Formal Methods Home Page at South Bank University (UK)
• Shmuel Katz (includes links)
• Joeri Engelfriet
• Martin Fränzle
• Angelo Montanari
• Simin Nadjm-Tehrani

This page under construction.

Back to:

• Formal methods research
• Links to sites of interest to QC computer science students
• D. Nixon's home page