The SMV (Symbolic Model Verifier) system is a tool for
checking finite state systems against specifications
in the temporal logic CTL (Computational Tree Logic).
One specifies the finite state system (finite automaton,
Mealy machine, full adder circuit, ..) as a Kripke
structure in the SMV language and provides specifications
in CTL. The model checking algorithm allows to determine
if the Kripke structure fulfills the specifications.
Allows you to both load one or more modules, while setting up
inheritance from those modules at the same time.
If a module in the import list is followed by something that
doesn't look like a legal module name,
the VERSION method will be called with it as an argument.
This module activates community provided syntax extensions to Perl. You pass it
a feature name, and optionally a scalar with arguments, and the dispatching
system will load and install the extension in your package.
The import arguments are parsed with Data::OptList(3). There are no standardised
options. Please consult the documentation for the specific syntax feature to
find out about possible configuration options.
The PCRE library is a set of functions that implement regular expression
pattern matching using the same syntax and semantics as Perl 5. PCRE has its
own native API, as well as a set of wrapper functions that correspond to the
POSIX regular expression API. The PCRE library is free, even for building
proprietary software.
Gearman provides a generic framework to farm out work to other
machines or dispatch function calls to machines that are better suited
to do the work. It allows you to do work in parallel, to load balance
processing, and to call functions between languages. It can be used in
a variety of applications, from high-availability web sites to the
transport for database replication.
Date_Holidays helps you calculating the dates and titles of holidays
and other special celebrations. The calculation is driver-based so
it is easy to add new drivers that calculate a country's holidays.
The methods of the class can be used to get a holiday's date and
title in various languages.
PEAR::HTML_CSS provides a simple interface for generating
a stylesheet declaration. It is completely standards compliant, and
has some great features:
* Simple OO interface to CSS definitions
* Output to
- Inline stylesheet declarations
- Document internal stylesheet declarations
- Standalone stylesheet declarations
- Array of definitions
In addition, it shares the following with HTML_Common based classes:
* Indent style support
* Line ending style
This is a simple HTML form generator. It supports all the
HTML form element types including file uploads, may return
or print the form, just individual form elements or the full
form in "table mode" with a fixed layout.
This package has been superceded by HTML_QuickForm.
The Apache Portable Runtime is a library of C data structures and routines,
forming a system portability layer that covers as many operating systems as
possible, including Unices, Win32, BeOS, and OS/2.
This port also includes the APR-Util package, which contains some useful
utilities built on top of APR.
HTML_Template_Flexy started it's life as a simplification of HTML_Template_Xipe,
however in Version 0.2, It became one of the first template engine to use a real
Lexer, rather than regex'es, making it possible to do things like ASP.net or
Cold Fusion tags.