Skip to main content
Uppsala University
Study
Research
Collaboration
The University
Students
Alumni
Library
Svensk startsida
Log in
Student
Employee
Alumni
Search
Search suggestions
Department of Information Technology
Search
Search suggestions
Department of Information Technology
Algorithmic Program Verification
Algorithmic Program Verification
TAPVES
Regular Model Checking
Bisimulation
Stochastic Infinite State Systems
Parametrized Systems
Lossy Channel Systems
General Verification Theories for Infinite-State Systems
Efficient Algorithms
Sat-base Model Checking
Tools
Publications
Uppsala University
Information Technology
Research
..
Algorithmic Program Verification
Listen
Algorithmic Program Verification
Algorithmic Program Verification
TAPVES
Regular Model Checking
Bisimulation
Stochastic Infinite State Systems
Parametrized Systems
Lossy Channel Systems
General Verification Theories for Infinite-State Systems
Efficient Algorithms
Sat-base Model Checking
Tools
Publications
joint work with Bengt Jonsson and Paul Pettersson
Updated 2007-02-28 16:31:49 by
Olga Grinchtein
.
