Linear Temporal Logic_ Model checking
2024-05-26 17:11:44 - education - HannoverPytango
Description
Salut jai besoin de quelqu'un qui a de l'expérience avec le Linear temporal Logic ou même model checking pour un coup de main sur un projet. Je bloque a un niveau et je reussi pas a trouver le probleme.
merci d'avance