Partial-Order Reduction and Trail Improvement in Directed Model Checking

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-004-0151-z
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Symmetry Reduction in CSP Model Checking

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

Partial Model Checking via Abstract Interpretation

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Constrained Dynamic Partial Order Reduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Dynamic Path Reduction for Software Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

System Reduction Based on Symmetry in Game Model Checking

DEStech Transactions on Computer Science and Engineering
2017English

Branching-Time Model Checking Gap-Order Constraint Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Partial-Order Reduction for General State Exploring Algorithms

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy