Login / Signup
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.
Ryszard Janicki
Tomasz Müldner
Published in:
Theor. Comput. Sci. (1990)
Keyphrases
</>
specification language
written in natural language
high level
real world
formal language
bounded model checking
concurrent programs
data sets
neural network
machine learning
similarity measure
formal specification
control flow
asynchronous circuits