TAPAAL 2.1.0

Company: The TAPAAL Team

Date Added: November 30, 2013 | Visits: 304

Report Broken Link
Printer Friendly Version

Product Homepage
Download (39 downloads)

The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting). It also allows the user to check whether a given net is k-bounded for a given number k. The verification algorithm translates the TAPAAL queries into UPPAAL ones and relies on the UPPAAL verification engine, but the user does not have to leave the TAPAAL GUI during any phase of the model verification and error traces are displayed directly in TAPAAL.

Requirements: No special requirements

Platforms: *nix, Linux

Keyword: Algorithm, Check, Directly, Displayed, Engine, Error, Kbounded, Leave, Model, Nesting, Number, Phase, Relies, Traces, Translates, Uppaal

Users rating: 0/10

License: Freeware

Size: 2 MB

USER REVIEWS

More Reviews or Write Review

TAPAAL RELATED

Misc. Web Browser Tools - RANKIT 1.1.16.34b RANKIT is a small and easy to use program that can help you check the search engine rankings of your site. RANKIT works with all basic search engines such as: Yandex, Google, Yahoo and Bing. RANKIT can export data in xls and csv files, send...
Snippets - Vechicle VIN number check digit calculator 1.0 Vechicle VIN number check digit calculator - Put in a 17 digit VIN number and it tells you if the check digit computes or not.
Multimedia & Graphics - Virtual Choreographer 1.4.9 Virtual Choreographer, or VirChor, for short is an Open Source real time 3D engine that can run on multiple platforms and relies on an XML-based definition of 3D scenes with graphic and sonic components. VirChor is well-documented and offers...
Programming - osvalidate 2011-12-12.01 This command-line tool will help to check the validity of an OpenSpending dataset model before loading the data into the system. For this purpose, both model files and data files can be checked to see if they would pass the input validation of an...	30.72 KB
Development Tools - Gravitational Search Algorithm (GSA) 1.0 Gravitational search algorithm (GSA) is an optimization algorithm based on the law of gravity and mass interactions.This algorithm is based on the Newtonian gravity: "Every particle in the universe attracts every other particle with a force that...	10 KB
Backup Utilities - CheckDrive 2014r If you ever had a system crash then CheckDrive is for you. CheckDrive offers you an easy way to check your hard drives for errors. CheckDrive may detect and fix hard drive errors that might appear on system crashes or when switching off your PC...	13.86 MB
Communication - Vuvuzela sound denoising algorithm 1.0 The sound denoising algorithm is based on the popular spectral subtraction technique. Based on the spectrum of the vuvuzela sound, this denoising technique simply computes an antenuation map in the time-frequency domain. Then, the audio signal is...	1.13 MB
Communication - Headwind SMS Suite for Scripts 1.0 Sending SMS from PHP is an engine sending short messages directly from a PHP script.An engine sending short messages directly from a PHP script is very useful for webmasters. Headwind SMS Suite may be used to send SMS from the website in two...	10 KB
3D Graphic Tools - Nelit2 Engine 0.1.2 Nelit2 Engine project is a game engine. Nelit2 Engine is a game engine that uses a Model-View-Controller concept. All View-s classes was developed by me, and you can dont worrie about this. Model-s classes also was developed by me, but you can...
Web Browsers - DNSSEC Validator 1.1.4 DNSSEC Validator is an add-on for the Mozilla Firefox web browser, which allows you to check the existence and validity of DNSSEC DNS records for domain names in the address of the page currently displayed in your browser window. The result of...

NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Utilities - Nessconnect 1.0.2 Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.	819.2 KB
Utilities - Dynamic Power Management 2.6.16 The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...	30.72 KB
Utilities - Ethernet bridge tables 2.4.37.9 Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.	40.96 KB
Utilities - SaraB 1.0.0 SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...	20.48 KB
Utilities - Command Not Found 0.2.41 Command Not Found is a program that uses a cache of existing programs and their associated packages to aid users in their day-to-day command-line work. Usage: command-not-found [options] Options: ...	30.72 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts