Pages that link to "Item:Q4564138"
From MaRDI portal
The following pages link to Formal Verification of Simulation Traces Using Computation Slicing (Q4564138):
Displayed 5 items.
- Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Repeated detection of conjunctive predicates in distributed executions (Q1944920) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)