University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 2
Dept. of Computer Science 2
Graduate Dissertations and Theses at Illinois 1

Collection

Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1
Research and Tech Reports - Computer Science 1

Author(s)

Huang, Jeff 1
Luo, Qingzhou 1
Rosu, Grigore 1
Ștefănescu, Andrei 1

Keyword(s)

automated reasoning 1
concurrency, systematic exploration, testing, maximal causal model 1
logics 1
operational semantics 1
program verification 1
programming languages 1

Type of Resource

text 2

↑ ↓

Showing 1–2 of 2 items

Thumbnail for Systematic Concurrency Testing with Maximal Causality

Systematic Concurrency Testing with Maximal Causality

Luo, Qingzhou; Huang, Jeff; Rosu, Grigore

Thumbnail for Toward language-independent program verification

Toward language-independent program verification

Ștefănescu, Andrei

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 6?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)