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
Automata based validation techniques
Doron Peled
Department of Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Automata based validation techniques'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Runtime Verification
100%
Automata
100%
Black-box Testing
100%
Method Validation
100%
Digital Circuits
50%
Automata Theory
50%
Formal Specification
50%
Programming Errors
50%
Design Errors
50%
Erroneous Behaviors
50%
Digital Code
50%
Computer Science
Model Checking
100%
Automaton
100%
Validation Technique
100%
runtime verification
66%
Digital Circuit
33%
Automata Theory
33%
Formal Specification
33%
Programming Error
33%