On stubborn sets in the verification of linear time temporal properties (Q1774568): Difference between revisions
From MaRDI portal
Set profile property. |
Normalize DOI. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s10703-005-4594-y / rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s10703-005-4594-y / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2030867074 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A partial order approach to branching time logic 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: Q4037381 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Verification of distributed programs using representative interleaving sequences / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Relaxed visibility enhances partial order reduction / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2766568 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4507820 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4002642 / 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: Q4507826 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3219122 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4372017 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3997018 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4507830 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A stubborn attack on state explosion / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4353636 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4239305 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4507831 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S10703-005-4594-Y / rank | |||
Normal rank | |||
Latest revision as of 10:32, 11 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On stubborn sets in the verification of linear time temporal properties |
scientific article |
Statements
On stubborn sets in the verification of linear time temporal properties (English)
0 references
17 May 2005
0 references
linear time temporal logic
0 references
0 references
