Collegamenti interessanti
-
Logic related conferences
- AAR, the
Association for Automated Reasoning
-
Logical Methods in Computer Science (an open-access journal).
- Dimostrazione automatica
- Model Checking:
- Un articolo di base:
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang,
"Symbolic Model Checking: 10^20 states and beyond",
Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, 4-7 June 1990, pp.
428-39.
- Spin, un
sistema di verifica automatica basato sulla logica temporale
lineare.
-
Model checking at the Carnegie Mellon University, Pittsburg
Sono disponibili diversi sistemi di model checking (tra cui
SMV),
pubblicazioni e altri riferimenti a pagine Web su metodi formali.
-
World Wide Web Virtual Library: Formal Methods
Comprende un elenco molto ricco di link a metodi formali.