Implementar ejecución simbólica sin comprobación de modelo
¿Cómo puedo implementarsymbolic execution
paraparticular language
sin usomodel checking
yFinite State Machine (FSM)
por ejemplonot
comoJava Path Finder
? Necesito un detalle al respecto. por ejemplo, ¿en qué idioma puedo implementar esta ejecución simbólica y qué otras cosas necesito saber?