Bonjour,
étudiant la logique séquentielle, j'aurai aimé savoir s'il existe une méthode pour envisager tout les cas possibles afin de n'en oublier aucuns, comme en logique combinatoire avec la table de Karnaugh.
Par exemple (exemple que j'ai du moi même résoudre) : un réservoir d'eau qu'il faut remplir via deux pompes dans des puis (eux mêmes alimenté via la nappe phréatique). Et ça a été un peu casse tête pour trouver certains états transitoires.
Donc en gros je cherche s'il existe une méthode plus carré que le fait de moi même penser à tout les cas de figures.
J'espère avoir été assez clair ^^
D'avance merci
-----