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
24 days ago by mpm
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.
july 2014 by mpm

Copy this bookmark: