On the significance of contract-based typestate specification.

Syeda Khairunnesa Samantha Hoan Anh Nguyen Hridesh Rajan

Published in: WASPI@ESEC/SIGSOFT FSE (2018)

Keyphrases

supply chain
high level
information retrieval
formal verification
revenue sharing
data sets
decision making
website
artificial neural networks
evolutionary algorithm
petri net
formal specification
provably correct