Model checking mobile stochastic logic

DOI10.1016/j.tcs.2007.05.008zbMath1159.68478DBLPjournals/tcs/NicolaKLLM07OpenAlexW2161235182WikidataQ57801754 ScholiaQ57801754MaRDI QIDQ995465

Mieke Massink, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Rocco De Nicola

Publication date: 3 September 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.05.008

zbMATH Keywords

MobilityGlobal computingStochastic logicsStochastic model-checkingStochastic process algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces

Uses Software

• PRISM
• MRMC
• SLMC
• ULM
• KLAIM
• MoMo

Cites Work

• A theory of timed automata
• A logic for reasoning about time and reliability
• A spatial logic for concurrency. I
• Model checking of probabilistic and nondeterministic systems
• Temporal logics for the specification of performance and reliability
• Anytime, anywhere
• A modal logic for mobile agents
• Programming Languages and Systems
• Model-checking continuous-time Markov chains
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• Formal Methods for Components and Objects
• Process algebra for performance evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model checking mobile stochastic logic