Correctness

coNCePTuaL software is a tool designed to facilitate rapidly generating programs that measure the performance and/or test the correctness of networks and network protocol layers. coNCePTuaL centers around a simple, domain-specific progamming-language; a few lines of coNCePTuaL code can produce... Platforms: *nix

MagicScore School 5 is specialized notation software for music aficionados, students, teachers, schools and colleges. The program offers people interested in music a variety of notation options – input, editing, printing, correctness check and much more. MagicScore School 5, as the name... Platforms: Windows

MagicScore School 5 is specialized notation software for music aficionados, students, teachers, schools and colleges. The program offers people interested in music a variety of notation options – input, editing, printing, correctness check and much more. MagicScore School 5, as the name... Platforms: Windows

MagicScore School 7 is specialized notation software for music aficionados, students, teachers, schools and colleges. The program offers people interested in music a variety of notation options - input, editing, printing, correctness check and much more. MagicScore School 6, as the name implies,... Platforms: Windows

DB Sanity is a handy and reliable utility designed to performs checks on a database in order to verify data consistency and correctness of application deployments. It is invoked by command line and creates an HTML report with aggregated diagnostic summaries and listings of faulty database entries. Platforms: Windows

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers). Platforms: Windows, Mac, Linux

An electronic votingsystem Verifiable E-Voting (VEV) with underlying protocol to help secure the election process from malicious practices at the same time as allowing voters and candidates to verify the correctness of their votes. Platforms: Windows, Mac, Linux

The MATLAB program simulates binary frequency shift keying (BFSK) at baseband through Monte Carlo method. The goal is to simulate bit error rate (BER) over an additive white Gaussian noise (AWGN) channel. For realizing that, the effect of noise is represented in the baseband with Gaussian random... Platforms: Matlab

The MATLAB program simulates binary phase shift keying (BPSK) at baseband through Monte Carlo method. The goal is to simulate bit error rate (BER) over an additive white Gaussian noise (AWGN) channel. For realizing that, the effect of noise is represented in the baseband with Gaussian random... Platforms: Matlab

The programme here draws the plot of the periodic signal whose d-deOaoCkd-de? is given by user.Following data should be entered by user.1. Ck value (separate for k=zero, k= even and k=odd)2. Time period of periodic function3. Resolution4. Range of k (it is actually -inf to +inf) we can only give... Platforms: Matlab

Returns a matrix of random elements drawn uniformly from within a specified set. Sampling can be done with or without replacement. (This function was intended to fill the role of RANDINT in the Comm Toolbox, which I no longer possess. No claims are made for correctness or efficiency.) Platforms: Matlab

Bundle of 88 unit converter functions for pressure, length, force, mass, and temperature. All converters in this bundle take the form from2to(). For example, to convert 700 kilopascals to pounds per square inch, you would use "kPa2psi(700)". These help keep track of units, and are especially... Platforms: Matlab

The source distribution includes the libarchive library, the bsdtar and bsdcpio command-line programs, full test suite, and documentation: * Stable release: libarchive-2.8.4.tar.gz libarchive-2.8.4.zip The libarchive library features: * Support for a variety of archive and compression... Platforms: Mac

pyang is a YANG validator, transformator and code generator, written in python. It can be used to validate YANG modules for correctness, to transform YANG modules into other formats, and to generate code from the modules. Platforms: Mac

There exists a working prototype called Principia Mathematica II. It is fully capable of first order predicate logic and shows the main features and functionality of Hilbert II. The prototype presents the logic foundation of this project. It works with (prototype) QEDEQ module files located... Platforms: Mac

BitNami PostgreSQL module is a add-on for WAMPStack, LAMPStack, MAMPStack or RubyStack. This module ships and configure PostgreSQL database server and phpPgAdmin application to handle the administration of PostgreSQL over the Web. If you want to get a full Stack including Apache, PostgreSQL and... Platforms: Mac

OpenPAM is an open source PAM library that focuses on simplicity,correctness, and portability. Platforms: *nix

l10n-checks is a Python module that provides a way to check a given localization for completeness and correctness. It needs the Python Silme-library to work. #md5=9d248a3d6d677255b0eff75e0143fc1e #md5=eb9bf20d13bba7fcfffd65d51088e611 #md5=b157939c1f76049f4039229c1dd6e1d6 Platforms: *nix

BarCode Checker is a detection program. It has detection of national organization. It also has detection of the country or manufacturer of the item that is bar coded. It can even check for barcode correctness. This is such an easy to use program. BarCode Checker can make it easy to know just... Platforms: Windows

DISCo Finder is a search program that is great for searching multiple search engines and multiple queries simultaneously using plain English or Boolean user defined keywords. Everybody knows how difficult it is to find information in Web. The main problems are how to make request to the search...