52 citations
- 3C InstituteUS2 papers
- Centre d’Etudes et de Recherches de Sciences Administratives et PolitiquesFR2 papers
- Chalmers University of TechnologySE2 papers
- McGill UniversityCA2 papers
- Microsoft Research (United Kingdom)GB2 papers
- Observatoire de la Côte d’AzurFR2 papers
- Radboud University NijmegenNL2 papers
- Saarland UniversityDE2 papers
- Space Telescope Science InstituteUS2 papers
- The University of Texas at AustinUS2 papers
- Union CollegeUS2 papers
- University College LondonGB2 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2011★ 24 cited
Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus +1
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language…
cs.LO2011★ 29 cited
Efficient CSL Model Checking Using Stratification
Lijun Zhang, David N. Jansen, Flemming Nielson +1
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal,…
cs.LO2007★ 52 cited
Decisive Markov Chains
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost…