×

Property-directed inference of universal invariants or proving their absence. (English) Zbl 1426.68050


MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B70 Logic in computer science
PDFBibTeX XMLCite
Full Text: DOI