Partial-Order Reduction (Q3176364)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Partial-Order Reduction	scientific article

Statements

scholarly article

0 references

Partial-Order Reduction (English)

0 references

0 references

Handbook of Model Checking

0 references

publication date

20 July 2018

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-10575-8_6

0 references

Partial-order reduction in symbolic state-space exploration

0 references

On Commutativity Based Edge Lean Search

0 references

Characterizing finite Kripke structures in propositional temporal logic

0 references

0 references

Three logics for branching bisimulation

0 references

Unfoldings: A partial-order approach to model checking.

0 references

A partial order approach to branching time logic model checking.

0 references

Branching time and abstraction in bisimulation semantics

0 references

Using partial orders for the efficient verification of deadlock freedom and safety properties

0 references

0 references

Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

0 references

0 references

Defining conditional independence using collapses

0 references

Relaxed visibility enhances partial order reduction

0 references

0 references

A calculus of communicating systems

0 references

Combining partial-order reductions with on-the-fly model-checking.

0 references

Stutter-invariant temporal properties are expressible without the next-time operator

0 references

An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-10575-8_6

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3176364

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176364&oldid=36410133"