Model checking of systems with many identical timed processes
From MaRDI portal
(Redirected from Publication:1853589)
Recommendations
Cites work
- scientific article; zbMATH DE number 1678356 (Why is no real title available?)
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 176728 (Why is no real title available?)
- scientific article; zbMATH DE number 176736 (Why is no real title available?)
- scientific article; zbMATH DE number 3566118 (Why is no real title available?)
- scientific article; zbMATH DE number 2102771 (Why is no real title available?)
- scientific article; zbMATH DE number 794257 (Why is no real title available?)
- A really temporal logic
- A structural induction theorem for processes
- Algorithmic analysis of programs with well quasi-ordered domains.
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Decidability of a temporal logic problem for Petri nets
- Decidability of bisimulation equivalence for normed pushdown processes
- Deciding bisimulation equivalences for a class of non-finite-state programs
- Deciding properties of integral relational automata
- Hybrid automata with finite bisimulations
- Ordering by Divisibility in Abstract Algebras
- Petri nets, commutative context-free grammars, and basic parallel processes
- Reasoning about systems with many processes
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Reduction and covering of infinite reachability trees
- Undecidable verification problems for programs with unreliable channels
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- Verifying programs with unreliable channels
Cited in
(25)- scientific article; zbMATH DE number 1515281 (Why is no real title available?)
- Timed automata with disjoint activity
- CONCUR 2004 - Concurrency Theory
- On the Verification of Timed Ad Hoc Networks
- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
- Formal Modeling and Analysis of Timed Systems
- Nested timed automata with frozen clocks
- Parameterized model checking of weighted networks
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Well (and better) quasi-ordered transition systems
- Controlling a population
- Universal safety for timed Petri nets is PSPACE-complete
- Accuracy of message counting abstraction in fault-tolerant distributed algorithms
- Closed, open, and robust timed networks
- Formal Modeling and Analysis of Timed Systems
- Parameterized model checking of networks of timed automata with Boolean guards
- Liveness of parameterized timed networks
- Network invariants for real-time systems
- Network invariants for real-time systems
- Parameterized verification of time-sensitive models of ad hoc network protocols
- Cardinality constraints for arrays (decidability results and applications)
- Reachability of communicating timed processes
- Monotonic Abstraction for Programs with Dynamic Memory Heaps
- Timed Basic Parallel Processes
- On the complexity of verification of time-sensitive distributed systems
This page was built for publication: Model checking of systems with many identical timed processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853589)
