Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

Logica temporale

Codice	Descrizione
D.II.3	Logica temporale

Descrizione
Joao Marques-Silva. Model Checking with Boolean Satisfiability. Post-proceedings of RCRA 2007, Journal of Algorithms. Elsevier. To appear.

Nome	Descrizione
nuSMV	Model checker per logiche temporali (symbolic e bounded model checking)

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]