PDF:
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
Cím | Model Checking as a Service: Towards Pragmatic Hidden Formal Methods |
Közlemény típusa | Conference Paper |
Kiadás éve | 2020 |
Szerzők | Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R. |
Konferencia neve | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |
DOI | 10.1145/3417990.3421407 |