Partial Order Reduction in Directed Model Checking

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-46017-9_10

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Partial-Order Reduction and Trail Improvement in Directed Model Checking

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

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
2016Tagalog

An Improved Distance Heuristic Function for Directed Software Model Checking

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy