Peitsche Der symbolische Handler von Lüttichautomaten (Wimpern)
Jetzt downloaden

Peitsche Ranking & Zusammenfassung

Peitsche Stichworte

manipulieren vertreten Unendliches Set darstellen Finite-staatliche Vertretung Automatisierung manipulieren unendliche Menge

Peitsche Beschreibung

Der symbolische Handler von Lüttichautomaten (Wimpern) Wimpern ist ein Werkzeugsatz, um unendliche Sets darzustellen und unendliche staatliche Räume zu erforschen. Es basiert auf Finite-staatlichen Darstellungen, die auf Finite-State-Automaten zum Darstellen und Bearbeiten von unendlichen Werten von Werten über verschiedene Datendomänen stützt. Hier sind einige wichtige Funktionen von "Wimpern": C-Bibliotheken, die Funktionen und Datentypen zur Durchführung der folgenden Aufgaben bereitstellen: · Konstruieren und Manipulieren einiger Arten von Finite-State-Automaten (auf endlichen und unendlichen Worten). · Manipulieren und Vertretung unendlicher und endlicher Werte. · Erkundung des staatlichen Raums von Systemen, die aus einer endlichen Steuerung und ungebundenen Ganzzahlgrößen besteht, über die lineare Vorgänge durchgeführt werden. Front endet für: · Kompilierung von Programmmodellen, die in der Simple-Promela und der einfachen Sprachen ausgedrückt werden, und die Erkundung des staatlichen Raums dieser Programme. · Lösen von Problemen, die in der Presurger-Arithmetik ausgedrückt werden.

Peitsche Zugehörige Software