Statements (44)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Computer Science
Verification |
| gptkbp:hasCitations |
Scalability Issues
State Explosion Problem Complexity_of_Specifications |
| gptkbp:hasHistoricalSignificance |
Founded in the 1970s
Evolved_with_Computer_Technology Influenced_by_Logic_and_Mathematics |
| gptkbp:hasRelatedPatent |
Formal Verification
Hardware Verification Model Checking Software Testing |
| gptkbp:hasResearchInterest |
gptkb:Hybrid_Systems
Cloud Computing Embedded Systems Hardware Verification Real-Time Systems Software Verification Distributed Systems Network Protocols Security Protocols Concurrent Systems Theorem_Proving Symbolic_Execution |
| gptkbp:hasSkill |
gptkb:NuSMV
gptkb:CBMC gptkb:Frama-C gptkb:UPPAAL SPIN |
| gptkbp:hasStaff |
Error Detection
Cost Reduction Increased Reliability |
| https://www.w3.org/2000/01/rdf-schema#label |
Computer-Aided Verification
|
| gptkbp:isPartOf |
Software Engineering
Systems Engineering |
| gptkbp:isRelatedTo |
Artificial Intelligence
Formal Methods Automated Reasoning |
| gptkbp:isUsedIn |
Aerospace
Automotive Cybersecurity Telecommunications |
| gptkbp:isVisitedBy |
Research Institutions
Tech Companies |