Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1

First Page		Document Content
Date: 2016-07-20 13:08:19 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Computer performance Java		Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 271,90 KB Share Document on Facebook