1. He generally argued for a stronger historical orientation in the interpretation of economic developments, and criticised economics as too abstract and deductive.

Außerdem mache die historische Sichtweise die Relativität angeblich universeller ökonomischer Gesetzmäßigkeiten deutlich. Freihandel z.B. sei nicht grundsätzlich vorteilhaft für die wirtschaftliche Entwicklung, sondern nur unter bestimmten Bedingungen, die nicht unbesehen verabsolutiert werden dürften.

2. It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis – including abstract interpretations, deductive verifications and model checking.

Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.