mpm + formal-methods   3

Tecton Project
Tecton is a language and tool framework whose purpose is to foster structured development of computational systems (both hardware designs and software), using abstraction and specialization as the key structuring mechanisms
formal-methods 
24 days ago by mpm
Alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks.
design  constraints  formal-methods 
january 2018 by mpm
Use of Formal Methods at Amazon Web Services
Since 2011, engineers at Amazon Web Services (AWS) have been using formal specification and model-checking to help solve difficult design problems in critical systems. This paper describes our motivation and experience, what has worked well in our problem domain,
and what has not.
formal-methods 
july 2014 by mpm

Copy this bookmark:



description:


tags: