Lorenzo Platania

According to our database, Lorenzo Platania authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006