Structural Embeddings: Mechanization with Method

Abstract

The most powerful tools for analysis of formal speci cations are general-purpose theorem provers and model checkers, but these tools provide scant methodological support. Conversely, those approaches that do provide a well-developed method generally have less powerful automation. It is natural, therefore, to try to combine the better-developed methods with… (More)
DOI: 10.1007/3-540-48119-2_26

Topics

2 Figures and Tables

Slides referencing similar topics