Formal Methods Research Group, SU

Related Organizations and Links:

  • Department of Electrical Engineering and Computer Science (EECS)
  • New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE)
  • Oxford Formal Methods Repository
  • NASA Formal Methods Guide Books
  • CERT (Computer & Network Security)
  • Other Formal Method Sites

    •  

     
     
     
     
     
     
     
     
     
     
     
     
     
     


    Home