Formal Library of Visual Components

Computer Science

• Visual Component 100%
• Proof Obligation 50%
• Correctness Proofs 50%
• System Development 50%
• Development Process 50%
• Application Domain 50%
• Deterministic Model 50%
• Graphical Representation 50%
• Theorem Proving 50%
• Process Specification 50%
• Background Knowledge 50%

Keyphrases

• Formal Library 100%
• Complex System Development 50%
• System-level Specification 50%
• Drag-and-drop 50%
• Rodin Platform 50%