Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3223734.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Learning to Verify Systems
Author(s):Vardhan, Abhay
Doctoral Committee Chair(s):Agha, Gul A.; Viswanathan, Mahesh
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:We show how the learning-based verification paradigm can be applied to a number of systems and for different kinds of specifications. First, we use learning to verify safety properties of finite state machines communicating over unbounded first-in-first-out channels. (Abstract shortened by UMI.).
Issue Date:2006
Type:Text
Language:English
Description:137 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2006.
URI:http://hdl.handle.net/2142/81729
Other Identifier(s):(MiAaPQ)AAI3223734
Date Available in IDEALS:2015-09-25
Date Deposited:2006


This item appears in the following Collection(s)

Item Statistics