scientific article; zbMATH DE number 1400094
From MaRDI portal
Publication:4939617
zbMath0937.68086MaRDI QIDQ4939617
Justin Pearson, Carsten Weise, Wang Yi, Kim Guldstrand Larsen
Publication date: 6 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (9)
Binary Decision Diagrams ⋮ Model Checking Real-Time Systems ⋮ The octagon abstract domain ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Reachability analysis for timed automata using max-plus algebra ⋮ Unnamed Item ⋮ An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints ⋮ Parking Can Get You There Faster
Uses Software
This page was built for publication:
