Model checking with strong fairness (Q2505624): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Yonit Kesten / rank | |||
Property / author | |||
Property / author: Yonit Kesten / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CESAR / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10703-006-4342-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020306722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modalities for model checking: Branching time logic strikes back / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new heuristic for bad cycle detection using BDDs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Verification by augmented finitary abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4326390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3922147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completing the temporal picture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002642 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4873991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3940830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(\mu\)-calculus as an assertion-language for fairness arguments / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:52, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Model checking with strong fairness |
scientific article |
Statements
Model checking with strong fairness (English)
0 references
28 September 2006
0 references
model checking
0 references
temporal logic
0 references
LTL
0 references
CTL
0 references
fairness
0 references
fair discrete systems
0 references
temporal testers
0 references