ADVISES Files

Brought to you by: atesta

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

Name	Modified	Size
tutorial_2507.doc	2013-07-25	37.9 kB
decreasoner.py	2013-07-25	69.1 kB
PacketWorld.e	2013-07-25	6.0 kB
BatteryWorld.e	2013-07-25	2.4 kB
IsolationWorld.e	2013-07-25	4.5 kB
advises_rt.jar	2013-07-25	104.8 kB
advises_dt.jar	2013-07-25	58.5 MB
Totals: 7 Items		58.7 MB

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

Start Free

Recommended Projects

VICS
VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.net
VHDL Design Verification Tools
This project contains a set of tools for formal verification and static analysis of VHDL design.
The ATS PL System
Unleashing the potentials of types and templates
UVM
This project hosts the reference implementation of a common base library(CBL) code for Universal Verification Methodology (UVM) as proposed by the Accellera Verification Intellectual Property Technical Subcommittee.
LazySets.jl
Scalable Symbolic-Numeric Set Computations

ADVISES Files

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