implementar execução simbólica sem verificação de modelo
Como posso implementarsymbolic execution
paraparticular language
sem utilizarmodel checking
eFinite State Machine (FSM)
por exemplonot
tal comoJava Path Finder
? Eu preciso de um detalhe sobre isso. por exemplo, em qual idioma eu posso implementar essa execução simbólica e que outras coisas eu preciso saber?