Efficient Symbolic Tools v.1.0

Advertisement
Advertisement

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Efficient Symbolic Tools package (EST) is a ...

 
  • Efficient Symbolic Tools
  • 1.0
  • Robert Meolic
  • Windows
  • Freeware
  • 140
  • Free
 
 

Review Efficient Symbolic Tools

  • captcha
 
 
New Science software
  • Transits for Astro-Trading  v.10.77Calculates the exact dates and times at which geocentric and heliocentric transits between two selected planets (or one planet and all the others) begin and end (relative to chosen orb values).
  • GHC Timetables EN  v.19.2.12.0Pealara GHC is an automatic software to generate school timetables for schools of different levels: primary schools, high schools, vocational schools, universities and all other academic institutions.
  • Moons of Saturn 3D  v.1.1A freeware 3D tool that simulates the motion of Saturn and of its seven major moons; moreover, the surface features of these cosmic bodies can be seen in great detail.
  • Moons of Jupiter 3D  v.1.1A freeware 3D tool that simulates the motion of Jupiter and of its four Galilean moons; moreover, the surface features of these cosmic bodies can be seen in great detail.
  • EEChip  v.1.0An EEChip is a chip whose software can evolve. It works like Conway's Game of Life, but with highly generic rules for each cell. This project simulates an EEChip in C, and the chips are tested, selected, and mutated in Ruby.
  • ElectroCat  v.1.0ElectroCat project is free version of CAD system for electrical equipment design based on TinyCAD project. Our purpose to make it industrial oriented and support Russian (CIS) standards for such kind of documentation.