@phdthesis{teodorov:tel-04066483, TITLE = {{G$\forall$min$\exists$: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools}}, AUTHOR = {Teodorov, Ciprian}, URL = {https://hal.science/tel-04066483}, SCHOOL = {{Universit{\'e} de Bretagne Occidentale (UBO), Brest}}, YEAR = {2023}, MONTH = Apr, KEYWORDS = {executable specifications ; language monitoring ; behavioral analysis ; model-checking ; debugging ; sp{\'e}cifications ex{\'e}cutables ; monitoring de langage ; analyse comportamentale ; model-checking ; debugging}, TYPE = {Habilitation {\`a} diriger des recherches}, PDF = {https://hal.science/tel-04066483/file/HDR_Teodorov.pdf}, HAL_ID = {tel-04066483}, HAL_VERSION = {v1}, }