Publisher
Springer Nature Switzerland
Reference27 articles.
1. Godefroid, P., Peled, D., Staskauskas, M.: Using partial-order methods in the formal validation of industrial concurrent programs. In: Presented at the Proceedings of the 1996 ACM SIGSOFT International Symposium on Software testing and analysis, San Diego, California, USA (1996)
2. Hansen, C., Kunzmann, A., Rosenstiel, W.: Verification by simulation comparison using interface synthesis. In: Proceedings Design, Automation and Test in Europe, pp. 436–443 (1998). https://doi.org/10.1109/DATE.1998.655894
3. Hansen, C., Nascimento, F.A.M.D., Rosenstiel, W.: Verifying high level synthesis results using a partial order based model. In: International High Level Design Validation and Test Workshop, San Diego, CA, USA, pp. 135–141 (1998)
4. Kordon, F., Hillah, L.M., Hulin-Hubard, F., Jezequel, L., Paviot-Adet, E.: Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transfer 23(6), 931–952 (2021). https://doi.org/10.1007/s10009-021-00615-1
5. Souri, A., Norouzi, M.: A state-of-the-art survey on formal verification of the internet of things applications. J. Serv. Sci. Res. 11(1), 47–67 (2019). https://doi.org/10.1007/s12927-019-0003-8