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
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Model checking and testing combined
Doron Peled
University of Warwick
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
peer-review
10
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Model checking and testing combined'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Testing Method
100%
Computer Science
Model Checking
100%