Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement.

Colin Pilbrow Steve Reeves

Published in: APSEC (2017)

Keyphrases

formal specification
semantic description
delay insensitive
specification language
concurrent systems
machine learning
formal language
refinement process
high level
bayesian networks
object oriented
bounded model checking