Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Home
Researchers
Organisations
Research output
Prizes
Student theses
Activities
Press/Media
Search by expertise, name or affiliation
Combining partial order reductions with on-the-fly model-checking
Doron Peled
Research output
:
Contribution to journal
›
Article
›
peer-review
125
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Combining partial order reductions with on-the-fly model-checking'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Order Reduction
100%
Model Checking
86%
Partial Order
76%
Spin Models
26%
Fairness
24%
Concurrent
21%
Eliminate
18%
Automata
16%
State Space
16%
Engineering & Materials Science
Model checking
80%
Data storage equipment
23%