Famous People Birthdays Years Events Centuries Wars Nobel Prizes Inventions Empires Population Data Profiles By Country

Database: Profiles 195 Countries 366 Day Pages

Home/Inventions/TAPAAL Model Checker

TAPAAL Model Checker

software

Timed-Arc Petri Nets verifier

Quick Facts

Year: Unknown
Category: software
Inventors: Unknown

A comprehensive historical data encyclopedia. Structured data on famous people, birthdays, events, and more — for researchers, students, and the curious.

Directories

By Date
By Country
By Year
Events by Date
By Century
Wars & Conflicts
People Profiles
Population
Economic Data

Project

About Us
Data Methodology
Citation Guide

Legal

Privacy Policy
Terms of Use
CC BY-SA 4.0

© 2026 HistoryData.com

Data sourced from Wikidata and Wikipedia under Creative Commons licenses.