Specification Clones: An Empirical Study of the Structure of Event-B Specifications.

Marie Farrell Rosemary Monahan James F. Power

Published in: SEFM (2017)

Keyphrases

specification language
high level
formal specification
database
graph structure
formal verification
asynchronous circuits
website
event detection
business rules
event driven