Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
From complementation to certification
Orna Kupferman
*
, Moshe Y. Vardi
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
18
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'From complementation to certification'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Acceptance Conditions
9%
Automata
100%
Easy-to-implement
9%
Emerson
9%
Emptiness
36%
Emptiness Problem
9%
Model Checker
9%
Non-deterministic
54%
Popular
9%
Strong Relation
9%
System S
9%
Computer Science
Automaton
100%
Correctness
18%
model checker
9%
Model Checking
45%
Theoretic Approach
9%