SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Pettersson Gerd)
 

Sökning: WFRF:(Pettersson Gerd) > Developing UPPAAL o...

Developing UPPAAL over 15 years

Berhmann, Gerd (författare)
NORDUnet A/S, Copenhagen, Denmark
David, Alexandre (författare)
Department of Computer Science, Aalborg University
Guldstrand Larsen, Kim (författare)
Department of Computer Science, Aalborg University
visa fler...
Pettersson, Paul (författare)
Mälardalens högskola,Akademin för innovation, design och teknik
Yi, Wang (författare)
Department of Information Technology, Uppsala University
visa färre...
 (creator_code:org_t)
2011
2011
Engelska.
Ingår i: Software - Practice and Experience. - 0038-0644. ; 41:2, s. 133-142
  • Tidskriftsartikel (refereegranskat)
Abstract Ämnesord
Stäng  
  • UPPAAL is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling language, a user-friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give the future directions of the tool.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)

Publikations- och innehållstyp

ref (ämneskategori)
art (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy