Formal Methods Research Group at Syracuse University
Overview
We are focused on developing and improving hardware and software design
methods through the use of mathematical logic. We are part of the Department
of Electrical Engineering and Computer Science (EECS), the Center
for Systems Assurance (CSA), and the New
York State Center for Advanced Technology in Computer Applications and
Software Engineering (CASE).
Our interests range from creating theories about design, e.g., embedding
design languages and algebras into automated theorem-provers using higher-order
logic, to practical demonstrations such as fabricating integrated circuits
that have been designed using formal techniques.
You can contact us by calling or emailing the CASE
Center or by contacting any faculty member or student in the group
found in the People page in our table
of contents.
Table of Contents
People in the Formal Methods Group
Tutorials & Examples
Software & Tools
Related Courses
Papers & Dissertations
Related Organizations & Links
maintained by the group, our contact info is found in
People entry
Last update: October 2, 2000