Program verification using symbolic game semantics (Q477213): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q45 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q55 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6376196 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
algorithmic game semantics | |||
| Property / zbMATH Keywords: algorithmic game semantics / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
symbolic automata | |||
| Property / zbMATH Keywords: symbolic automata / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
program verification | |||
| Property / zbMATH Keywords: program verification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
predicate abstraction | |||
| Property / zbMATH Keywords: predicate abstraction / rank | |||
Normal rank | |||
Revision as of 18:17, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program verification using symbolic game semantics |
scientific article |
Statements
Program verification using symbolic game semantics (English)
0 references
2 December 2014
0 references
algorithmic game semantics
0 references
symbolic automata
0 references
program verification
0 references
predicate abstraction
0 references
