Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Combining partial order reductions with on-the-fly model-checking
Doron Peled
Lucent
Research output
:
Contribution to journal
›
Article
›
peer-review
127
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
Keyphrases
Partial Order
100%
Ordered Models
100%
Fly Model
100%
Partial Order Reduction
100%
State Space
50%
Reachable States
50%
Concurrent Programs
50%
Model Checker
50%
Reduced Time
50%
Substantial Reduction
50%
Automata
50%
Fairness Assumptions
50%
Gain Reduction
50%
Computer Science
Model Checking
100%
Partial Order Reduction
100%
Partial Order
40%
State Space
20%
Concurrent Program
20%
model checker
20%
Automaton
20%
Reachable State
20%