Ruby-bdd RUBY-BDD is een BDD-binding voor robijn.
Download nu

Ruby-bdd Rangschikking & Samenvatting

Ruby-bdd Tags

verbindend robijnbibliotheek BDD BDD-binding Ruby-bdd

Ruby-bdd Beschrijving

Ruby-BDD is een BDD-binding voor robijn. RUBY-BDD is een BDD-binding voor Ruby.bdds (of meer preciezer Robdds) zijn efficiënte datastructuren voor het vertegenwoordigen van Booleaanse formule. Ze worden veel gebruikt in formele verificatie, in het bijzonder symbolische modelcontrole. Het idee van symbolische modelcontrole is om sets van de overgangsrelaties te vertegenwoordigen als formule (en om het fix-punt van de set van alle bereikbare staten voor bereikbaarheidsanalyse te berekenen) .Buddy is een BDD-bibliotheek die in C met een API-bibliotheek is geschreven. C en C ++. Het is ontwikkelaarvriendelijk met een eenvoudige interface. Het ondersteunt alle standaard BDD-operaties, variabele bestellingen, afdrukken, heeft geautomatiseerde Garbage-collectie, en is compileerbaar op Unix en Windows-platforms.RUBY, ondanks dat het een scripttaal is, is een krachtige en schone objectgerichte taal die heel gemakkelijk te leren is gebruiken. In het bijzonder is het goed geschikt voor snelle prototyping en educatieve doeleinden. Ruby-BDD is een binding voor Ruby op basis van Buddy die BDD-klassen biedt om BDD's in Ruby te maken en te manipuleren in Ruby.What's nieuw in deze release: · Deze release voegt ondersteuning voor bitvectoren en eindige domeinen toe. · De meeste buddy-bibliotheek is nu beschikbaar via een Ruby-stijl API.

Ruby-bdd Gerelateerde software