Molle.

Prover-Platform Platform gratuito e open source per la logica modale
Scarica ora

Molle. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Prezzo:
  • FREE
  • Nome editore:
  • Andrea Mocci
  • Sito web dell'editore:
  • Sistemi operativi:
  • Mac OS X
  • Dimensione del file:
  • 2.2 MB

Molle. Tag


Molle. Descrizione

Prover a piattaforma trasversale gratuito e open source per la logica modale MOLLE sfrutta il metodo Modal Semantic Tableaux. Molle dispone di un'interfaccia grafica molto utilizzabile, con rappresentazione interattiva di modelli generati.Nota: MOLLE è concesso in licenza e distribuito sotto i termini della licenza Academic Free (AFL). Requisiti: · Java. Cosa c'è di nuovo in questa versione: · Dimostrare formule di logica di proposizionalità · Prova con proprietà del telaio esplicita: {riflessore} (più per venire ...) · Visualizzare i tableaux a prova e i passaggi di risoluzione · Visualizza i modelli per esempi e controexamples


Molle. Software correlato

Jgod.

Algoritmo genetico gratuito e open source scritto in Java ...

173 570 KB

Scarica

Arlisy.

Applicazione open source che simularà il processo di vita ...

181 14 KB

Scarica

Febio

FEBIIO - Risolvi i problemi di deformazione di grandi dimensioni non lineari in Biomeccanica solida ...

676 973 KB

Scarica

Annotazione

ANNOTAZIONE - Un'applicazione in grado di codificare gli eventi in termini di tipo, insorgenza e durata. ...

216 1.3 MB

Scarica

Chi siamo