Specstractor Files

Tool chain for the automated extraction/analysis of system invariants

Brought to you by: cschulze1984

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Specstractor.zip	2017-10-23	36.2 MB	0
Totals: 1 Item		36.2 MB	0

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Recommended Projects

ScalaCheck
Property-based testing for Scala
Snap for hyperbolic 3-manifolds
Snap (snap-pari) is a computer program for studying arithmetic invariants of hyperbolic 3-manifolds. See: Computing arithmetic invariants of 3-manifolds by Coulson, Goodman, Hodgson and Neumann, Experimental Mathematics Vol.9 (2000) 1.
Invariants Text
Open-source version of 2008 textbook "Invariants: a Generative Approach to Programming"
isiKnock
In silico knockouts for signaling pathways
Space Monkey
SpaceMonkey is a Web application auditing tool. It can detect bugs or security flaws without using a knowledge database. It uses fault injection technics ('fuzzing') in order to reveal the flaws (SQL injection, XSS, File inclusion, command execution ).

Specstractor Files

Tool chain for the automated extraction/analysis of system invariants

Get an email when there's a new version of Specstractor