Any Windows Software - Shareware and Freeware Download Center for Windows

Top Downloads

New Downloads

Related Downloads

Recent Searches

Latest Reviews

  • Acronis True Image for Mac   (Henry)

    Takes full backup of a Mac system which includes saved files and folder plus installed apps.

  • Lodgit Desk Hotel Software for Mac   (Arnold)

    I run a small guest house in Nepal where this software is in use for last two years, we felt this is good enough for any...

  • XolidoSign   (Zico)

    Allows me to insert signature on any document automatically before dispatching, other software requires manual instruction.

  • Wurlie   (Tenesy)

    Make unlimited number of short urls with this script without knowing much about processes that take place in background.

  • Start Hotspot   (heltvet)

    You may turn your android phone to a wifi hotspot but your data may be misused unless you have some sort of control over...

  • NCheck Bio Attendance Trial for Windows   (Jeusme)

    The system is implemented in my office premises, it maintains the employees in and out time accurately, helps the accounts...

  • FirePlotter   (Kacper)

    Monitors all in-coming and outgoing traffic to your PC, also shows the consumed bandwidth to calculate internet bill.

  • FolderMill   (Fairyn)

    FolderMill is an automation software which looks for incoming files and send them to printer by filtering as per your...

  • DocuVieware   (Sigfrid)

    Fully featured document viewer which can be added in your page to load and read almost any type files, the software can...

  • Kiosk Software   (Emmerentiana)

    Restricts access to the public computers and kiosks to prevent changes or viruses from affecting it, hence you need no...


LTL[e] model checker 1.0

 
LTL[e] model checker
Category: Utilities / Other Utilities  
Author: sourceforge.net | Published: Mar 31, 2012
License: Freeware | O/S:
Uninstaller: no








An LTL[e] model checker for EVENT-B model as Rodin plugins.There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs).Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library)

File Size: 257.3 KB   Price: $0.00   Downloads: 0
Download Now! | Homepage | Report Link Error | Bookmark this page
Requirements:
User Rating: Unrated
Rate It:
Editor Rating: Unrated

More Software from sourceforge.net:

Banshee32 - Jay Brain - MP4 Menu GUI - Fennec Player - Guitar Tuner Java Applet - Ffdshow Rev.1688 - DScaler - Gordian Knot Rip Pack - PPlayer - BLA Messenger
 

Reviews:

Write a review:

Your rating *
1=poor                                                                          10=excellent
Your name *
Email
Review text *

 

Related Software

MCMAS-SC model checker 1.0

Published: Sep 05, 2012
A new model checker, called MCMAS-SC, for verifying social commitments and their fulfillment.

Price: $0.00 Size: 38.5 KB More info Download

MCMAS-C Model Checker 1.0

Published: Jun 25, 2012
MCMAS-C is an extension of MCMAS symbolic model checker for multi-agent systems.

Price: $0.00 Size: 2.9 MB More info Download




JavaMC 1.0

Published: Apr 03, 2012
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.

Price: $0.00 Size: 230.6 KB More info Download

LTL3BA 1.0.1

Published: Aug 08, 2012
LTL3BA is a translator of LTL formulae to BALchi automata.

Price: $0.00 Size: 43.9 KB More info Download

LTL3 tools 0.0.7

Published: Apr 15, 2012
A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae.

Price: $0.00 Size: 505.6 KB More info Download

The ntcc bounded-time Model Checker 1.0

Published: Sep 10, 2012
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes.

Price: $0.00 Size: 14.6 MB More info Download

MuChecker 1.0

Published: Jul 22, 2012
Model checker for verifying properties expressed in modal mu calculus of labeled transition systems in form of context free processes.

Price: $0.00 Size: 1.4 MB More info Download

SweepChecker 0.2.0

Published: Jul 03, 2012
SweepChecker is an experimental model checker based on the newly developed sweep-line method.

Price: $0.00 Size: 154.0 KB More info Download

Windows 7 Key checker 1.0.0

Published: Dec 12, 2012
Free Windows 7 Product Key Checker.

Price: $0.00 Size: 382.0 KB More info Download

PageRank Checker 1.0

Published: May 17, 2008
Google PageRank Checker - Check your Google PageRank with samll script. PageRankBar.com provide a small script to show the original google PageRank

Price: $0.00 Size: 4.0 KB More info Download

LTL[e] model checker also mentioned on ShareMe

1.  MCMAS-SC model checker - Utilities/Other Utilities
... A new model checker, called MCMAS-SC, for verifying social commitments and their fulfillment. It is an extenstion of MCMAS model checker to support verification of CTLC logic. ...
 
2.  MCMAS-C Model Checker - Utilities/Other Utilities
... MCMAS-C is an extension of MCMAS symbolic model checker for multi-agent systems. It is particularly used to check social commitments that agents can create toward each other and their fulfillment. It also supports CTLC logic. ...
 
3.  JavaMC - Utilities/Other Utilities
... This is a java based model checker that reduces the time required for model checking by distributed state-space exploration. <br>Time Efficient Model Checking<br>Hierarchical Models<br>Coloured Petri-Nets<br>Model Chekcing ...
 
4.  LTL3BA - Utilities/Other Utilities
... LTL3BA is a translator of LTL formulae to BALchi automata. It is based on the popular tool named LTL2BA written by Denis Oddoux and Paul Gastin (available at http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/).LTL3BA further improves LTL2BA's performance. Most modifications are described in the paper:T. Babiak, M. KLâ¢etA­nskA?, V. L?ehA?k, and J. StrejATek: LTL to BALchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. ...
 
5.  LTL3 tools - Utilities/Other Utilities
... A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage. ...
 

a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z - #
© 1997-2015 ShareMe Last Update: Monday, August 20, 2018 shareme | contact | notice | privacy | bookmark | link to us

Welcome to the ShareMe. Shareme is a dedicated internet portal bringing users the latest shareware & freeware from the world's best Software Authors. Shareme allows Shareware & Freeware Authors to submit their latest wares, so you the user are able to download their latest software updates all the time, after they are released! Always visit Shareme for your software needs.