Behavioral Specification Theories: An Algebraic Taxonomy.

Uli Fahrenberg Axel Legay

Published in: ISoLA (1) (2020)

Keyphrases

theoretical framework
specification language
high level
neural network
formal verification
formal models
hierarchically organized
temporal ordering
knowledge base
knowledge representation
hierarchical structure
human behavior
formal specification
probability theory