Automated analysis of Reo circuits using symbolic execution (Q2989005)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated analysis of Reo circuits using symbolic execution |
scientific article; zbMATH DE number 6721688
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated analysis of Reo circuits using symbolic execution |
scientific article; zbMATH DE number 6721688 |
Statements
19 May 2017
0 references
symbolic execution
0 references
Reo
0 references
constraint automata
0 references
coordination languages
0 references
program verification
0 references
0.9473543763160706
0 references
0.7369357943534851
0 references
0.7276497483253479
0 references
0.7228182554244995
0 references
0.7161863446235657
0 references