Toggle navigation
AI
HIT
SEARCH
DIRECTORY
ABOUT
DATA
FEEDBACK
Comment on aiHit
Submit URL to aiHit
LISTS
Worldwide Recent Changes
LSE Recent Changes
AIM Recent Changes
Fortune 1000 Recent Changes
Most Popular Companies
Most Discussed Companies
Most Liked Companies
Recent Comments
GET FREE ACCESS
LOG IN
Overview
74
History of Changes
1
Contacts
6
People
0
Business Relations
0
Summary Financials
0
Comments
FOLLOW COMPANY
UPPAAL
Updated
53 days ago
ID: 14166550/137
uppaal.org
up..@cs.aau.dk
CLICK HERE TO SEE DETAILS OF COMPANY CHANGES
Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
SEARCH FOR SIMILAR COMPANIES
0
0
Interest Score
1
HIT Score
0.64
Domain
uppaal.org
Actual
uppaal.org
IP
130.225.57.104
Status
OK
Category
Company
0 comments
Add a comment