Analizzatore in lega Strumento per analizzare i modelli in lega
Scarica ora

Analizzatore in lega Classifica e riepilogo

Analizzatore in lega Tag

creare analizzare eseguire Analizzare il modello. Genera invarianti Esecuzione operativa

Analizzatore in lega Descrizione

Strumento per analizzare i modelli in lega Alloy Analyzer è uno strumento gratuito e open source sviluppato per l'analisi dei modelli scritti in lega, un semplice linguaggio di modellazione strutturale basato sulla logica del primo ordine. Alloy Analyzer può generare istanze di invarianti, simulare l'esecuzione delle operazioni (anche quelle definite implicitamente) e verificare le proprietà specificate dall'utente di un modello.alloy Analyzer si basa sul nuovo Finder Model Finder Kodkod SAT. Kodkod applica nuove tecniche e ottimizzazioni alla traduzione dalla logica relazionale alla booleana, come le istanze parziali fornite dall'utente e una tecnica di rottura simmetrica più generale che funziona in presenza di casi parziali arbitrari. Una procedura dettagliata e un tutorial passo-passo di Alloy4 è qui e qui. Requisiti: · Java 1.5 o successivi Cosa c'è di nuovo in questa versione: · Include una nuova numerazione Atom Heuristic che dovrebbe rendere il numero di utilità / ordinazione più intuitivo; Anche aggiornato all'ultimo Kodkod e aggiornato a SAT4J 2.0.5. · L'esportazione PDF utilizza le tecniche di compressione e si traduce in misura di file più piccoli fino a 20x.

Analizzatore in lega Software correlato