Learning to Verify Systems

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.).

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2015

Author dc:creator

• Vardhan, Abhay

Contributors dc:contributor

• Agha, Gul A.
• Viswanathan, Mahesh

• Computer Science

Language dc:language

eng

Identifier

(MiAaPQ)AAI3223734

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/81729