Logotype Mälardalen University

MRTC publications



UPPAAL: Status & Developments,

Authors: Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external)
Source: the 9th International Conference on Computer-Aided Verification, p 456-459, Haifa, Israel, Editor(s):Orna Grumberg
 

Abstract

UPPAAL is a tool box for validation (via graphical simulation) and verification (via automatic model-checking) of real-time systems, based on constraint solving and on-the-fly techniques. In this short paper we report on the current status of UPPAAL with particular emphasis on the recent additions and new developments within the near future.
 

BibTeX entry

@inproceedings{Guldstrand_2859:1997,
   author = {Kim Guldstrand Larsen and Paul Pettersson and Wang Yi},
   title = { UPPAAL: Status {\&} Developments, },
   booktitle = {the 9th International Conference on Computer-Aided Verification},
   month = {June},
   year = {1997},
   pages = {456-459},
   editor = {Orna Grumberg},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2859},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23