HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:tool

Papers
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
Copyright © 2012-2022 easychair.org. All rights reserved.