FASTEN enables incremental specification of requirements starting from plain natural language text, sentence templates (boilerplates) up to formal models like temporal logic patterns or S-MV.

    • Plain natural language text and pictures

  • Temporal logic patterns

    • Sentence templates

    • SMV modules

    • Arbitrary traced models