×

Found 2 Documents (Results 1–2)

Contract strengthening through constrained Horn clause verification. (English) Zbl 07806141

Hamilton, Geoffrey W. (ed.) et al., Proceedings of the 9th workshop on Horn clauses for verification and synthesis and of the 10th international workshop on verification and program transformation, HCVS/VPT 2022, Munich, Germany, April 3, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 373, 23-34 (2022).
MSC:  68-XX 90-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software