Combined model checking for temporal, probabilistic, and real-time logics
From MaRDI portal
Publication:407511
DOI10.1016/J.TCS.2013.07.012zbMath1360.68591OpenAlexW2060551079WikidataQ98283457 ScholiaQ98283457MaRDI QIDQ407511
Publication date: 2 September 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.07.012
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42) Combined logics (03B62)
Related Items (4)
Credible futures ⋮ Dynamic logic assigned to automata ⋮ IPL: an integration property language for multi-model cyber-physical systems ⋮ Towards light-weight probabilistic model checking
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-checking in dense real-time
- Bounded model checking for knowledge and real time
- Adding a temporal dimension to a logic system
- A theory of timed automata
- Why combine logics?
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Many-dimensional modal logics: theory and applications
- Mobile ambients
- Automatic verification of real-time systems with discrete probability distributions.
- Combinations of modal logics
- Combining temporal logic systems
- Specifying and reasoning about uncertain agents
- Model checking of probabilistic and nondeterministic systems
- Strict Divergence for Probabilistic Timed Automata
- Completeness and decidability of tense logics closely related to logics above K4
- The product of converse PDL and polymodal K
- Computer Aided Verification
This page was built for publication: Combined model checking for temporal, probabilistic, and real-time logics
