Author:
Belo Lourenço Cláudio,Cousineau Denis,Faissole Florian,Marché Claude,Mentré David,Inoue Hiroaki
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference31 articles.
1. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Tim King, J. D., Reynolds, A., Cesare, T.: CVC4. In: CAV: computer aided verification. Lecture notes in computer science, vol. 6806, pp. 171–177. Springer. https://doi.org/10.1007/978-3-642-22110-1_14 (2011)
2. Baudin, L.: Deductive verification with the help of abstract interpretation. Technical report, Univ Paris-Sud. https://hal.inria.fr/hal-01634318 (2017)
3. Baudin, P., Cuoq, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C specification language, version 1.16. https://frama-c.com/html/acsl.html (2020)
4. Becker, B., Belo Lourenço, C., Marché, C.: Explaining counterexamples with giant-step assertion checking. In: F-IDE – 6th workshop on formal integrated development environments. Electronic proceedings in theoretical computer science. https://hal.inria.fr/hal-03217393, https://doi.org/10.4204/EPTCS.338.10 (2021)
5. Belo Lourenço, C., Cousineau, D., Faissole, F., Marché, C., Mentré, D., Inoue, H.: Automated verification of temporal properties of ladder programs. In: FMICS: formal methods for industrial critical systems. Lecture notes in computer science, vol. 12863, pp. 21–38. https://hal.inria.fr/hal-03281580, https://doi.org/10.1007/978-3-030-85248-1_2 (2021)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Belt Transportation Monitoring Using SCADA Technology;Lecture Notes in Networks and Systems;2024
2. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-10-28