Alloy Analyzer

Tool om legeringsmodellen te analyseren
Download nu

Alloy Analyzer Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • MIT License
  • Prijs:
  • FREE
  • Naam uitgever:
  • Alloy Analyzer Team
  • Uitgever website:
  • http://alloy.mit.edu
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 4 MB

Alloy Analyzer Tags


Alloy Analyzer Beschrijving

Tool om legeringsmodellen te analyseren Alloy Analyzer is een gratis en open source-tool die is ontwikkeld voor het analyseren van modellen die in de legering zijn geschreven, een eenvoudige structurele modelleertaal gebaseerd op de logica van de eerste orde. Alloy Analyzer kan exemplaren van invarianten genereren, de uitvoering van operaties simuleren (zelfs die impliciet zijn gedefinieerd) en controleer de door de gebruiker opgegeven eigenschappen van een model.Alloy Analyzer is gebaseerd op de nieuwe Sat-gebaseerde modelzoeker Kodkod. Kodkod past nieuwe technieken en optimalisaties toe aan de vertaling van relationeel naar Booleaanse logica, zoals door de gebruiker verstrekte gedeeltelijke instanties en een meer algemene symmetrie-breektechniek die werkt in de aanwezigheid van willekeurige gedeeltelijke instanties. Een stapsgewijs walkthrough en tutorial van Alloy4 is hier en hier. Vereisten: · Java 1.5 of later Wat is er nieuw in deze release: · Inclusief een nieuwe atoomnummering heuristiek dat util / ordernummer intuïtiever moet maken; Ook een upgrade naar de nieuwste Kodkod en geüpgraded naar SAT4J 2.0.5. · PDF-export maakt gebruik van compressie Tecniques en resulteert in maximaal 20x kleinere bestandsgrootte.


Alloy Analyzer Gerelateerde software