Symbolic predictive analysis for concurrent programs (Q432146): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q85 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6052555 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
concurrent trace program | |||
| Property / zbMATH Keywords: concurrent trace program / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
predictive analysis | |||
| Property / zbMATH Keywords: predictive analysis / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
happens-before | |||
| Property / zbMATH Keywords: happens-before / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
context bounding | |||
| Property / zbMATH Keywords: context bounding / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
SMT | |||
| Property / zbMATH Keywords: SMT / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
SAT | |||
| Property / zbMATH Keywords: SAT / rank | |||
Normal rank | |||
Revision as of 23:07, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic predictive analysis for concurrent programs |
scientific article |
Statements
Symbolic predictive analysis for concurrent programs (English)
0 references
3 July 2012
0 references
concurrent trace program
0 references
predictive analysis
0 references
happens-before
0 references
context bounding
0 references
SMT
0 references
SAT
0 references
