Reachability results for timed automata with unbounded data structures

DOI10.1007/S00236-010-0121-8zbMATH Open1214.68199OpenAlexW2048551412MaRDI QIDQ707597FDOQ707597

Authors: Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina 

Publication date: 8 October 2010

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-010-0121-8

Recommendations

• Verification for Timed Automata extended with Unbounded Discrete Data Structures
• Verification for timed automata extended with unbounded discrete data structures
• Reachability in timed counter systems
• scientific article; zbMATH DE number 1444359
• Perfect timed communication is hard

zbMATH Keywords

systems of data management timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Kronos: A verification tool for real-time systems
• Formal Methods for the Design of Real-Time Systems
• A theory of timed automata
• Pushdown timed automata: A binary reachability characterization and safety verification.
• A logic of authentication
• A calculus of durations
• Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
• On the security of public key protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Augmenting the discrete timed automaton with other data structures.
• Automatic analysis of a non-repudiation protocol
• Expressive power of hybrid systems with real variables, integer variables and arrays
• Title not available (Why is that?)

Cited In (4)

• A rewriting framework and logic for activities subject to regulations
• Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
• Verification for Timed Automata extended with Unbounded Discrete Data Structures
• Weak bisimulation for probabilistic timed automata

Uses Software

• Kronos
• Uppaal

This page was built for publication: Reachability results for timed automata with unbounded data structures

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