Formal methods for public administrations