Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model Checking of In nite-State Systems Parosh Aziz Abdulla
 

Summary: Model Checking of In nite-State Systems
Parosh Aziz Abdulla
Bengt Jonsson
Uppsala University
1

Outline
Part 1
 Introduction
 Motivation
 Symbolic model checking and Well Quasi-
Orderings
 Models: Petri nets, lossy channel sys-
tems, timed Petri nets, broadcast pro-
tocols, etc.
 Better Quasi-Orderings
Part 2
 Systems using word-shaped data struc-
tures: queues, stacks, integers, clocks
 Parameterized networks with linear or

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences