Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Partial-order reduction in symbolic state-space exploration / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: NuSMV: A new symbolic model checker / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Counterexample-guided abstraction refinement for symbolic model checking / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Combining partial-order reductions with on-the-fly model-checking. / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Peephole Partial Order Reduction / rank | |||
Normal rank | |||
Revision as of 01:24, 4 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boosting Lazy Abstraction for SystemC with Partial Order Reduction |
scientific article |
Statements
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (English)
0 references
19 May 2011
0 references
0 references
0 references
