PDF:
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
| Title | Model Checking as a Service: Towards Pragmatic Hidden Formal Methods |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R. |
| Conference Name | Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings |
| DOI | 10.1145/3417990.3421407 |
