Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

Publisher Website

1 January 1999

book chapter
Published by Springer Nature

p. 150-173
https://doi.org/10.1007/978-1-4471-0823-8_10

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys, 1992
Solving sequential conditions by finite-state strategies
Transactions of the American Mathematical Society, 1969