Rapace. strumento Java per il ragionamento sui programmi imperativi
Scarica ora

Rapace. Classifica e riepilogo

Rapace. Tag

ricerca ricercatore costruire ragionamento prova Ricerca rapidshare. Cerca rapishare. Utility rapidshare rapidshare

Rapace. Descrizione

Raptor è un'applicazione che può essere utilizzata per il ragionamento sui programmi imperativi. Raptor può essere utilizzato per costruire prove dei programmi solo utilizzando il tipo di assegnazione di assegnazione. È inoltre incorporato il tipo di controllo con booleani nell'applicazione, oltre a tipi di numero intero e matrici dimensionali. Programmato in Java, Raptor può essere utilizzato su una varietà di funzionamento sistemi, compresi quelli popolari come Windows, Mac OS X e Linux.

Rapace. Software correlato