GDPA  
NP-Tools - framework for mathematically proving safety properties  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Homepage
  • Observations
  • Classifications
  • Identification

    NP-Tools - framework for mathematically proving safety properties

    Homepage

    http://www.lk.se/

    Observations

    A framework for mathematically proving safety properties including Prover (a theorem prover for propositional logic extended with finite integer arithmetic) from Logikkonsult. Prover is also marketed by NPL in the UK.

    Classifications

    Development Phases: Proof - Theorem Prover
    Types of Systems: Safety-Critical systems

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