Stage - Abstract-State-Machines-A-Formal-Method-for-Specification-and-Verification

Abstract-State-Machines-A-Formal-Method-for-Specification-and-Verification Abstract State Machines: A Formal Method for Specification and Verification   Science - Computer Science - Formal Methods




  • Name:

     

  • Institution:

    Abstract State Machines: A Formal Method for Specification and Verification

  • Position:

  • Location:

     

  • Field of Science:

    Science - Computer Science - Formal Methods

  • Website / Blog:

    www.eecs.umich.edu/gasm

  • Online Status: status







    		•

    • About my Work: 


      Abstract State Machines: A Formal Method for Specification and Verification - Project attempting to bridge the gap between formal models of computation and practical specification methods.
      Abstract State Machine Home Page
      Abstract State Machines

    • Projects: 


    • Vita / Publications: 


    • Grants and Awards: 


    • About my Institution: 


    • Additional Information: 


      		•

     

































     

    Powered free by PHPmotion