TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019
Pages 879 - 881
Abstract
This is the second issue in the new “Competitions and Challenges” (CoCha) theme of the International Journal on Software Tools for Technology Transfer. The new theme was established to support competitions and challenges with an appropriate publication venue. The first issue presented the competition on software testing Test-Comp 2019, which was part of the TOOLympics 2019 event. In this second issue for TOOLympics, we present selected competition reports. The TOOLympics event took place as part of the 25-years celebration of the conference TACAS. The goal of the event was to provide an overview of competitions and challenges in the area of formal methods.
References
[1]
Bartocci, E., Beyer, D., Black, P.E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T., Yamada, A.: TOOLympics 2019: An overview of competitions in formal methods. In: Proc. TACAS (3), LNCS 11429, pp. 3–24. Springer (2019).
[2]
Beyer, D., Huisman, M., Kordon, F., Steffen, B. (eds.): Proc. TACAS (3): 25 Years of TACAS: TOOLympics, LNCS 11429. Springer (2019).
[3]
Beyer D, Löwe S, and Wendler P Reliable benchmarking: requirements and solutions Int. J. Softw. Tools Technol. Transfer 2019 21 1 1-29
[4]
Dross, C., Furia, C.A., Huisman, M., Monahan, R., Müller, P.: VerifyThis 2019: A program verification competition. Int. J. Softw. Tools Technol. Transf. (2021).
[5]
Howar, F., Jasper, M., Mues, M., Schmidt, D., Steffen, B.: The RERS challenge: Towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. (2021).
[6]
Kordon, F., Hulin-Hubard, F.: BenchKit: A tool for massive concurrent benchmarking. In: Proc. ACSD, pp. 159–165. IEEE (2014).
[7]
Kordon, F., Jézéquel, L., Paviot-Adet, E., Hulin-Hubard, F., Hillah, L.M.: Study of the efficiency of model checking techniques using results of the MCC from 2015 to 2019. Int. J. Softw. Tools Technol. Transf. (2021).
[8]
Kordon, F., Seidl, M., van de Pol, J.: Lorentz workshop on advancing verification competitions as a scientific method. Tech. rep, Lorentz Center (2019)
[9]
Middeldorp, A., Nagele, J., Shintani, K.: CoCo 2019: Report on the 8th confluence competition. Int. J. Softw. Tools Technol. Transf. (2021).
[10]
Sighireanu, M.: SL-COMP: Competition of solvers for separation logic: Report on the third edition. Int. J. Softw. Tools Technol. Transf. (2021).
[11]
Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: A cross-community infrastructure for logic solving. In: Proc. IJCAR, LNCS 8562, pp. 367–373. Springer (2014).
Index Terms
- TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019
Index terms have been assigned to the content through auto-classification.
Recommendations
TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019
AbstractResearch competitions and challenges are a driving force in transferring theoretical results into working software tools that demonstrate the state of the art in the respective field of research. Regular comparative evaluations provide guidance to ...
What are we teaching in cyber competitions?
FIE '12: Proceedings of the 2012 IEEE Frontiers in Education Conference (FIE)Student competitions are widespread across all academic disciplines, and are often touted as a means to motivate and educate students. Competitions may be internal within a single class or course, or vie school against school as regional, national, or ...
Computer Security Competitions: Expanding Educational Outcomes
Security competitions can be a lot of fun, and preparing for them often exposes participants to skills they might not otherwise have encountered. Yet, participating in such competitions doesn't necessarily provide a road map for future success. By ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© The Author(s) 2021.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 December 2021
Accepted: 20 May 2021
Author Tags
Qualifiers
- Editorial
Funding Sources
- Ludwig-Maximilians-Universität München (1024)
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025