Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Natural proofs for structure, data, and separation
Xiaokang Qiu
, Pranav Garg
, Andrei Stefanescu
,
P. Madhusudan
Information Trust Institute
Electrical and Computer Engineering
Siebel School of Computing and Data Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Natural proofs for structure, data, and separation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Structure Separation
100%
Structure Data
100%
Natural Proofs
100%
Large Classes
16%
Programmer
16%
Substructure
16%
Browser
16%
Reliable System
16%
Loop Invariants
16%
Set Theory
16%
Functional Verification
16%
First-order Logic
16%
Linux Kernel
16%
Program Verification
16%
Automated Reasoning
16%
Garbage Collection
16%
Proof Techniques
16%
Verification Properties
16%
Functional Correctness
16%
Recursive Definition
16%
SMT Solver
16%
Underlying Logic
16%
Deductive Verification
16%
OpenBSD
16%
Logic Solver
16%
Dryad
16%
Decidable Theories
16%
Separation Logic
16%
Verification Technology
16%
Classical Logic
16%
Computer Science
Data Structure
100%
Annotation
25%
Subclasses
25%
Program Verification
25%
Automated Reasoning
25%
Garbage Collection
25%
Functional Verification
25%
Recursive Definition
25%