Keyword:tool

Papers
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler, Sebastian Biewer and Clara Schneidewind EasyChair Preprint no. 10335
From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard and Henrich Lauko EasyChair Preprint no. 8618
Navigating the Intricate World of Aphasia Apps: a Guide for Individuals with Aphasia and Their Families Anjelica Vance, Amber Richardson, Alexis Pracar, Jessica Lawien, Sandhya Kannan, Vanessa Anderson, Nina Dronkers and Maria Ivanova EasyChair Preprint no. 6581
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
High-level Hybrid Systems Analysis with Hypy Stanley Bak, Sergiy Bogomolov and Christian Schilling In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Implementation of Interval Arithmetic in CORA 2016 Matthias Althoff and Dmitry Grebenyuk In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification Axel Busboom, Simone Schuler and Alexander Walsch In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Building trustworthy refactoring tools Simon Thompson In:VPT 2013. First International Workshop on Verification and Program Transformation
CheAPS: a Checker of Asynchronous Parameterized Systems Igor Konnov In:WING 2010. Workshop on Invariant Generation 2010