The industrial success of verification tools based on stålmarck's method

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 7-10
https://doi.org/10.1007/3-540-63166-6_3

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Stålmarck’s algorithm as a HOL derived rule
Published by Springer Nature ,1996
MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC
Published by Elsevier ,1990