Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.

doi 10.21236/ada361638
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Optimal Strategies in Priced Timed Game Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Time and Action Lock Freedom Properties for Timed Automata

English

Simplifying Linearizability Proofs With Reduction and Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Fuzzy-Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Pumping Lemmas for Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Robust Safety of Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2008English

Discrete Timed Automata

English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy