Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899090
DOI10.1007/11690634zbMath1180.03021OpenAlexW2504714231MaRDI QIDQ5899090
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Turing machines and related notions (03D10)
Related Items (25)
Zeno, Hercules, and the Hydra ⋮ Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Adequacy and complete axiomatization for timed modal logic ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ Path Checking for MTL and TPTL over Data Words ⋮ Model Checking Real-Time Systems ⋮ Future-Looking Logics on Data Words and Trees ⋮ Bounded variability of metric temporal logic ⋮ On termination and invariance for faulty channel machines ⋮ Unnamed Item ⋮ Parameterized model checking of weighted networks ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Model checking memoryful linear-time logics over one-counter automata ⋮ On timed alternating simulation for concurrent timed games ⋮ The compound interest in relaxing punctuality ⋮ On the termination and structural termination problems for counter machines with incrementing errors ⋮ The ω-Regular Post Embedding Problem ⋮ Unnamed Item ⋮ Reactive synthesis from interval temporal logic specifications ⋮ Complexity Hierarchies beyond Elementary ⋮ Model-checking Timed Temporal Logics ⋮ Complexity issues for timeline-based planning over dense time under future and minimal semantics ⋮ Context-free timed formalisms: robust automata and linear temporal logics ⋮ Generalized Post embedding problems
This page was built for publication: Foundations of Software Science and Computation Structures
