SpecOracle

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text Summarise with VIRAT

Authors: anonymous

DOI: 10.5281/zenodo.19057240

Cited by: 0

Summary

No summary yet. VIRAT can read this paper and write a plain-language summary of its aim, methods, key findings and limitations.

Summarise with VIRAT Free to try with your Science Catalogs account.

Fields of Study & Subjects

Software Testing and Debugging Techniques Formal Methods in Verification Software Engineering Research

Publication details

Journal / source: Zenodo (CERN European Organization for Nuclear Research)
Publication date: 16 March 2026