Program Analysis and Verification Techniques (Q167620): Difference between revisions
From geokb
(Changed label, description and/or aliases in en, and other parts: modified description with assistance from Llama 3.1) |
(Changed an Item: moved OpenAlex ID to its dedicated external ID datatype for consistency) |
||
| Property / same as | |||
| Property / same as: https://openalex.org/T10126 / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: T10126 / rank | |||
Normal rank | |||
Revision as of 12:21, 8 September 2024
Analysis and verification of computer programs for correctness and reliability.
- Static Analysis
- Formal Verification
- Type Inference
- Memory Management
- Concurrency
- Garbage Collection
- Separation Logic
- Model Checking
- Abstract Interpretation
- Programming Language Semantics
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Analysis and Verification Techniques |
Analysis and verification of computer programs for correctness and reliability. |
|
