Properties (77)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
abbreviation
|
| gptkbp:appliesTo |
Systems
|
| gptkbp:developedBy |
gptkb:E._M._Clarke
1980s |
| gptkbp:hasCollaboratedWith |
Research Projects
Interdisciplinary_Research |
| gptkbp:hasRelatedPatent |
Software Verification
|
| gptkbp:hasVariants |
gptkb:CTL*
|
| https://www.w3.org/2000/01/rdf-schema#label |
CTL
|
| gptkbp:is_located_in |
Control
|
| gptkbp:isActiveIn |
Research Papers
|
| gptkbp:isAssociatedWith |
Verification Techniques
|
| gptkbp:isAttendedBy |
Industry
|
| gptkbp:isAvenueFor |
Embedded Systems
Performance Metrics Quality Assurance Concurrent Systems |
| gptkbp:isCriticizedFor |
Safety Properties
|
| gptkbp:isDiscussedIn |
Workshops
Technical Reports |
| gptkbp:isEvaluatedBy |
Metrics
Benchmarks Kripke Structures |
| gptkbp:isExaminedBy |
Scalability Issues
Surveys |
| gptkbp:isExploredIn |
Theses
Case Studies Research Initiatives Experimental Studies Literature Reviews |
| gptkbp:isIncorporatedIn |
Software Development Life Cycle
Testing Frameworks |
| gptkbp:isInfluencedBy |
Propositional Logic
|
| gptkbp:isInformedBy |
First-Order_Logic
|
| gptkbp:isIntegratedWith |
Development Processes
Other Logics |
| gptkbp:isLinkedTo |
Temporal Properties
|
| gptkbp:isLocatedIn |
Software Tools
Logical Formulas |
| gptkbp:isPartOf |
gptkb:CTL*
Formal Methods Quality Control Verification Tools Other Formal Methods Verification Frameworks |
| gptkbp:isPromotedBy |
Conferences
|
| gptkbp:isPromotedThrough |
Educational Programs
|
| gptkbp:isPublishedIn |
Journals
|
| gptkbp:isRecognizedFor |
Important Concept
|
| gptkbp:isReflectedIn |
Best Practices
Standards |
| gptkbp:isRelatedTo |
Formal Verification
Automata Theory |
| gptkbp:isStudiedIn |
Computer Science Courses
|
| gptkbp:isSupportedBy |
Model Checkers
Academic Institutions Toolkits Theoretical Foundations |
| gptkbp:isTaughtIn |
Universities
|
| gptkbp:isTrainedIn |
Real-World_Scenarios
|
| gptkbp:isUsedBy |
Researchers
Specify Requirements Verify System Properties |
| gptkbp:isUsedIn |
Artificial Intelligence
|
| gptkbp:isUtilizedFor |
Engineers
Risk Assessment Software Engineers Correctness Checking Modeling_Systems |
| gptkbp:isUtilizedIn |
Simulations
Safety_Critical_Systems |
| gptkbp:keyIssues |
System Reliability
|
| gptkbp:relatedTo |
Computer Science
LTL Temporal_Logic |
| gptkbp:usedFor |
Specification of properties
|
| gptkbp:usedIn |
Model Checking
|