Keyword:tools

Papers
Determination of the Speed of Sound to Calculate Distances Through Firing a Rifle at 22°C at the Sea Level Luis Palacios Aguirre and Rosalba Rodriguez EasyChair Preprint no. 2348
A Few Things We Heard About RV Tools (Position Paper) Sylvain Hallé, Raphael Khoury and Sebastien Gaboury In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
An Introduction to CORA 2015 Matthias Althoff In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Flow* 1.2: More Effective to Play with Hybrid Systems Xin Chen, Sriram Sankaranarayanan and Erika Ábrahám In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications Alexandre Donzé and Vasumathi Raman In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems Fabian Immler In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
SMT Encoding of Hybrid Systems in dReal Kyungmin Bae, Soonho Kong and Sicun Gao In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Running SpaceEx on the ARCH14 Benchmarks Stefano Minopoli and Goran Frehse In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2 Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Using S-TaLiRo on Industrial Size Automotive Models Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems