Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
- 14 January 2022
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Enumerating Infeasibility: Finding Multiple MUSes QuicklyLecture Notes in Computer Science, 2013
- PHAVer: algorithmic verification of hybrid systems past HyTechInternational Journal on Software Tools for Technology Transfer, 2008
- Verifying Industrial Hybrid Systems with MathSATElectronic Notes in Theoretical Computer Science, 2005
- Bounded LTL model checking with stable modelsTheory and Practice of Logic Programming, 2003
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The tool KronosLecture Notes in Computer Science, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Book Review: FDDI Handbook: High Speed Networking Using Fiber And Other Media, by Raj Jain (Addison-Wesley 1994)ACM SIGCOMM Computer Communication Review, 1994
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987