Introduction to the special issue on computational logic for verification
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000029
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… read more here.
Keywords: computational logic; issue computational; logic verification; verification ... See more keywords