Search Results for "checker"

...Want to know more by reading some of the sources referenced by the publication? This tool gives you the convenience of selecting a bunch of references at a time and looking them up in one go. Citation and reference checker: A tool for academics, students and, most of all, proofreaders. Helps identify wrong or missing references/citations in an academic text. Check it out here: https://sourceforge.net/projects/refs-checker/ OSD note: A simple but handy text editor for research notes, to-do lists, etc. https://sourceforge.net/projects/osd-note/

Checksum Checker is a part of the Digital Preservation Platform from the National Archives of Australia. It calculates checksums of stored objects and compares them with entries in a database created by Digital Preservation Recorder. NO LONGER MAINTAINED, NO LONGER SUPPORTED

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically. DBook is also a Document creation tool which can be found under http://www.dbook.org

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.