Computer Science

Uppaal in a nutshell

K. Larsen, P. Pettersson, W. Yi

1997.12.1International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s100090050010

tlooto Summary

A detailed user guide is given which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model.

Abstract

Abstract is not available.

Citation format

LARSEN, K.; PETTERSSON, P.; YI, W. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer, 1997, 1: 134–152.