• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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