Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.972.986 Times

Analyzer Component Framework 0.1

Company: jolilius
Date Added: October 16, 2013  |  Visits: 150

Analyzer Component Framework

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



ACF is a framework forwriting model-checkers. ACF is built on the fundamental observation that the structure of mostmodel-checking algorithms is independent of the formalism used to describethe system.

Requirements: No special requirements
Platforms: *nix, Linux
Keyword: Algorithms Built Describethe Formalism Forwriting Independent Modelcheckers Mostmodelchecking Structure System
Users rating: 0/10

License: Freeware Size: 276.48 KB
USER REVIEWS
More Reviews or Write Review


ANALYZER COMPONENT FRAMEWORK RELATED
Utilities  -  HotSaNIC 0.5.0
HotSaNIC (the acronym stands for "html overview to system and network information center") consists of a set of perl-scripts built on Tobias Oetikers "rrdtool" to generate graphical system-statistics, currently supported platforms are linux (main...
163.84 KB  
Utilities  -  WinCrashReport 1.05
WinCrashReport is a small utility that provides an alternative to the built-in crash reporting program of Windows operating system. When an application crashes in your system and Windows displays the internal crash window of the operating system,...
 
Programming  -  FCUtilsLibrary For Linux 4.0.34
FCUtilsLibrary provides a collection of functions to communicate and control Danfoss frequency converters. One of the main targets is, to create an "easy to use" library which is independent from the operation system and the physical network.
2.4 MB  
Utilities  -  La Comune 0.9.13
La Comune is a presentation-independent multimedia content management system. It can be used as a foundation for applications and web applications that need to access a collection of multimedia objects.
1.08 MB  
Content Management  -  TinX/cms for Scripts 1.1
TinX/cms is a modern Open Source content management system based on pure open-source applications. It was built in PHP4 using MySQL4 as the database system.TinX/cms has been designed from the ground up to be fast and easy-to-use. It's user...
1.51 MB  
File Renamers  -  DupKiller 0.8.2
DupKiller is one of the fastest and the most powerful tools for searching and removing duplicate or similar files on your computer. Complicated algorithms, built in its searching mechanism, perform high results -- rapid file search. A lot of...
3.85 MB  
File Sharing  -  LemonWire 5.7.6
LemonWire is a p2p file sharing program that helps you search for and download any type of files you want directly from within the client without having to deal with torrent files and torrent websites. Once installed LemonWire can be used...
5.86 MB  
Programming  -  lptools 1.03b
The lptools suite provides a complete, programming-language independent, literate programming environment. The suite targets XML documentation, but the underlying system has no bias that would disadvantage other documentation languages. Also...
92.16 KB  
Network & Internet  -  JRelaxTimer 1.0.001
JRelaxTimer is a timer (or alarm clock) that allows Web-users to open specific Web-pages at selected time intervals. JRelaxTimer, for example, could be installed on the company Intranet and used by employees to execute specific tasks at selected...
256 KB  
Security Tools  -  Clean N' Optimize 1.0.0.1
Clean N' Optimize has highly customizable cleaning options and supports the most common web browsers and chat applications. It has a built in Shredder, so the cleaned files/folders can not be recovered again and separate shredder to manually shred...
4 MB  
NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Development Editors  -  KMood 0.30
kmood is a tool for KDE which lets the user to select his current mood. Moods canbe propagated between users on different machines using KDE.
389.12 KB  
Development Editors  -  VRVis 1.0a1
VRVis is a programmer's toolkit for rapid development of Virtual Reality applications in the field of geospatial data visualization. It is based on VR Juggler and therefore (theoretically) independent of the displaying VR platform. As an interface...
92.16 KB  
Development Editors  -  W Windows System 1.4.9
W Windows System is a compact-sized and speedy windows system.It is currently used in Yopy, the Linux PDA.Hope with this project that it evolves into one of standard systems for handheld devices.
1.08 MB  
Development Editors  -  Fnokii 0.0.3
Fnokii is a simple file transfer Gtk+ GUI for gnokii. It supports upload, download and delete files in well-known mobile phone folders.
10.24 KB  
Development Editors  -  codive 20100417
codive is a software for programmers and administrators. The basic idea is to combine a file browser and an editor into a 3D-space. This should allow us to look at code "from a distance", thus keep a better orientation, and accelerate our work.
1.45 MB