scientific article; zbMATH DE number 7364140

zbMath1464.68207arXiv1412.1153MaRDI QIDQ4997235

Pavle Subotić, Philipp Rümmer, Hossein Hojjat, Wang Yi

Publication date: 28 June 2021

Full work available at URL: https://arxiv.org/abs/1412.1153

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Configurable verification of timed automata with discrete variables ⋮ Lazy Reachability Checking for Timed Automata with Discrete Variables ⋮ Guiding Craig interpolation with domain-specific abstractions ⋮ Rewriting modulo SMT and open system analysis

Uses Software

• Uppaal

This page was built for publication: