nopeApr 24, 2023
C Code Verification based on the Extended Labeled Transition System Model
(2016) : Wang, Dexi et al
url: http://ceur-ws.org/Vol-1725/demo7.pdf
#c_lang #SMT #Ceagle #z3 #labeled_transition_system #my_bibtex
nopeOct 4, 2022
Synthesis of state machine models
(2020) : Nafiseh Kahani and Mojtaba Bagherzadeh and James R. Cordy
DOI: https://doi.org/10.1145/3365438.3410936
#FSMs #MDD #MDE #SMT #SSE #labeled_transition_system #model_synthesis #state_space_exploration
#my_bibtex
Synthesis of state machine models | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

ACM Conferences