Quasi-optimal partial order reduction (Q2050101)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Quasi-optimal partial order reduction	scientific article

Statements

scholarly article

0 references

Quasi-optimal partial order reduction (English)

0 references

0 references

0 references

César Rodríguez

0 references

Marcelo S. Sousa

0 references

Formal Methods in System Design

0 references

publication date

30 August 2021

0 references

full work available at URL

https://arxiv.org/abs/1802.03950

0 references

zbMATH Keywords

program analysis

0 references

dynamic analysis

0 references

partial-order reduction

0 references

non-interleaving semantics

0 references

describes a project that uses

0 references

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

Optimal dynamic partial order reduction

0 references

Stateless Model Checking for TSO and PSO

0 references

Comparing Source Sets and Persistent Sets for Partial Order Reduction

0 references

0 references

Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part II

0 references

0 references

Unfoldings: A partial-order approach to model checking.

0 references

Dynamic partial-order reduction for model checking software

0 references

Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

0 references

0 references

Quasi-optimal partial order reduction

0 references

0 references

Petri nets, event structures and domains. I

0 references

Formal techniques for distributed objects, components, and systems. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17--21, 2019. Proceedings

0 references

0 references

Unfolding-based Partial Order Reduction

0 references

Symbolic partial-order execution for testing multi-threaded programs

0 references

Peephole Partial Order Reduction

0 references

Identifiers

10.1007/s10703-020-00350-4

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2050101

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