Please enable JavaScript.
Coggle requires JavaScript to display documents.
Project - Coggle Diagram
Project
Managing
Proof Life cycle
Automatic proof
most part of proofs
Proof Obligation
False Proof Obligations
Bugs
Interactive proof
Modeling
Understand Requirements
Formalizing
Proof Obligation checks
Integration
Interactive Proof Obligation demonstrations
System Integration
Maintenability
Keep modules Simple
Limit 3000 PO per component
Proof aspect
Avoid complex PO
Libaries
Break in many projects
Import many libs
Workspaces
Set of Projects
Structuring
Modularity
Multiple Specifications
Multiple Proofs
Divide and Conquer
Link between modules
Imports
Implementations
Could call Operations
possible var conflicts
Sees
Read-only
non-transitive
Local Operations
Functional decomposition
Stateless Module
No variables
Sets
Constants
Operations Purely functional
Restrictions
No cyclical dependencies
Cant import module twice