No CrossRef data available.
Article contents
Introduction to the special issue on computational logic for verification
Published online by Cambridge University Press: 11 May 2018
Extract
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.
- Type
- Introduction
- Information
- Theory and Practice of Logic Programming , Volume 18 , Special Issue 2: Computational Logic for Verification , March 2018 , pp. 122 - 125
- Copyright
- Copyright © Cambridge University Press 2018