Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science - United States
doi 10.1007/s11704-013-3091-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

On-The-Fly Model Checking Under Fairness That Exploits Symmetry

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2018English

Model Checking Using Net Unfoldings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Model-Checking Software Using Precise Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy