scientific article
From MaRDI portal
Publication:2911614
DOI10.4230/LIPIcs.FSTTCS.2011.78zbMath1246.68145arXiv1110.3704MaRDI QIDQ2911614
Dileep Kini, Igor Walukiewicz, B. Srivathsan, Frédéric Herbreteau
Publication date: 31 August 2012
Full work available at URL: https://arxiv.org/abs/1110.3704
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Configurable verification of timed automata with discrete variables ⋮ Lazy Reachability Checking for Timed Automata with Discrete Variables ⋮ Fast zone-based algorithms for reachability in pushdown timed automata ⋮ Better abstractions for timed automata ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Unnamed Item ⋮ Robust reachability in timed automata and games: a game-based approach
Uses Software
This page was built for publication:
