Formal verification of UI using the power of a recent tool suite.

Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary

Browse the full EICS paper archive.