TAPAAL
TAPAAL
TAPAAL a tool for modelling, simulation and verification of Timed-Arc Petri Nets, developed at Department of Computer Science, Aalborg University
Niels F. S. Vistisen
Nielswps
Software Pilot at Trifork with focus on Quality Assurance and long term customer satisfaction
Aalborg University Aalborg, Denmark
S. Kauffman
seanmkauffman
Researcher in formal methods, real-time embedded software, and cyber-physical systems.
Karl Damkjær Hansen
kdhansen
Robotics Engineer with Turf Tank.
Former Assistant Professor - Aalborg University.
Loves mobile robots and algorithms.
Turf Tank Denmark
Ulrik Nyman
ulriknyman
Associate professor in Computer Science at Aalborg University
Aalborg University Aalborg, Denmark
Marius Mikučionis
mikucionisaau
Software Engineer and Lecturer at Department of Computer Science, Aalborg University.
I develop and maintain Uppaal, also teach Selected Topics in Programming.
Aalborg University Aalborg, Denmark
Peter Gjøl Jensen
petergjoel
Universal toolmaker at @DEIS-Tools, preaching the gospel of Formal Methods.
@DEIS-Tools