Login / Signup

Rapid Application of Lightweight Formal Methods for Consistency Analysis.

Martin S. Feather
Published in: IEEE Trans. Software Eng. (1998)
Keyphrases
  • lightweight
  • formal methods
  • formal analysis
  • model checking
  • dos attacks
  • communication infrastructure