Past pushdown timed automata and safety verification. (Q1426159): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4817528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of timed automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A really temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reachability analysis of pushdown automata: Application to model-checking / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4270062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4551181 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754074 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counter machines and verification problems. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4302435 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385530 / rank | |||
Normal rank |
Latest revision as of 15:49, 6 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Past pushdown timed automata and safety verification. |
scientific article |
Statements
Past pushdown timed automata and safety verification. (English)
0 references
14 March 2004
0 references
Timed automata
0 references
Automated verification
0 references
Temporal logic
0 references
Past formulas
0 references
Presburger arithmetic
0 references