GDPA  
Index for tools/publications on formal methods  

Types of Systems: Safety-Critical systems

Contents  
  • Publications
  • Projects/Tools
  • See also
  • Publications

    /Kesseler, 1999/ Measuring a safety-critical embedded software development process

    Projects/Tools

    NP-Tools - framework for mathematically proving safety properties

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster