Loading...
Please wait, while we are loading the content...
Similar Documents
An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools Runtime Verification using Larva
| Content Provider | Semantic Scholar |
|---|---|
| Author | Colombo, Christian Pace, Gordon J. |
| Copyright Year | 2017 |
| Abstract | Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of the runtime verification tool Larva and its extensions and uses. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://easychair.org/publications/open/Jwmr |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
