traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
Daelemans W. Abstraction Considered Harmful: Lazy Learning of Language Processing. Proceedings of the 6th 5th Belgian-Dutch Conference on Machine Learning 1996; 3-12.
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...