Introduction to the special issue on computational logic for verification. Issue 2 (11th May 2018)

• Record Type: Journal Article
• Authors: VIDAL, GERMÁN
• Is Part Of: Theory and practice of logic programming. Volume 18:Issue 2(2018)
• Page Start: 122
• Page End: 125
• Publication Date: 2018-05-11
• Subjects: Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068418000029
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract : Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods for program verification. It has attracted researchers from both computational logic and program verification communities, giving rise to a fruitful exchange of ideas and experiences.