Lash De Liege Automata-gebaseerde symbolische handler (LASH)
Download nu

Lash Rangschikking & Samenvatting

Lash Tags

manipuleren staan voor vertegenwoordigt oneindige verzameling finite-state representatie Manipuleer Automata oneindige verzameling

Lash Beschrijving

De Luik Automata-gebaseerde symbolische handler (wimp) Lash is een toolset voor het representeren van oneindige sets en het verkennen van oneindige staatspaties. Het is gebaseerd op eindige-staatsvertegenwoordigingen, die afhankelijk is van eindige staatsautomaten voor het representeren en manipuleren van oneindige sets van waarden over verschillende gegevensdomeinen. Hier zijn enkele belangrijke kenmerken van "Lash": C Bibliotheken die functies en datatypes bieden voor het uitvoeren van de volgende taken: · Bouw en manipuleren van sommige typen finite-state automaat (op eindige en oneindige woorden). · Manipuleren en representeren van oneindige en eindige sets van waarden. · Het verkennen van de staat-ruimte van systemen bestaande uit een eindige controle en van ongebonden geheelvariabelen waarover lineaire bewerkingen worden uitgevoerd. Front-ends voor: · Compileerprogramma-modellen die zijn uitgedrukt in de Simple-Promela en de Simple-IF-talen en het verkennen van de staat-ruimte van deze programma's. · Problemen oplossen die zijn uitgedrukt in Presburger Rekenkunde.

Lash Gerelateerde software