On the use of formal methods to model and verify neuronal archetypes