An Abstraction Technique for Real-Time Verification

DOI10.1007/978-1-4020-6254-4_1zbMATH Open1189.93015OpenAlexW183810113MaRDI QIDQ3564011

Flavio Lerda, Muralidhar Talupur, Edmund Clarke

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_1

zbMATH Keywords

real-time systemstimed automatamodel checkingabstraction

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) System structure simplification (93B11)

Related Items (2)

Spotlight abstraction in model checking real-time task schedulability ⋮ Predicate abstraction for dense real-time systems

Uses Software

• Title not available (Why is that?)

This page was built for publication: An Abstraction Technique for Real-Time Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564011)