Physical Sciences › Informatique › Théorie computationnelle et mathématiques › Méthodes formelles en vérification

Méthodes formelles en vérification

This cluster of papers revolves around formal methods in software verification and control, focusing on topics such as model checking, symbolic model checking, satisfiability modulo theories, temporal logic, hybrid systems, automata, safety verification, control barrier functions, runtime verification, and probabilistic systems.

Questions & réponses

Aucune question publiée pour cette rubrique. Posez la première ci-dessous.