University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 509 items
Thumbnail for Checking Reachability using Matching Logic
Checking Reachability using Matching Logic
Rosu, Grigore; Stefanescu, Andrei

Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Reachability Logic
Reachability Logic
Rosu, Grigore; Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon