• Publications
  • Influence
An approach to compositional model checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided that the componentsExpand
  • 7