Verification of Open Interactive Markov Chains
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Proceedings |
| Conference | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) |
| MU Faculty or unit | |
| Citation | |
| web | http://drops.dagstuhl.de/opus/volltexte/2012/3882 |
| Doi | http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474 |
| Field | Informatics |
| Keywords | IMC;compositional verification;synthesis;time bounded reachability;discretization |
| Description | Keywords: IMC, compositional verification, synthesis, time bounded reachability, discretization |
| Related projects: |
|