Distributive laws for monotone specifications.

Published in: Acta Informatica (2019)

Keyphrases

delay insensitive
neural network
upper bound
bounded model checking
machine learning
high level
real time
formal specification
functional requirements
asynchronous circuits
general theory
finite state machines
reactive systems
specification language
programming language
genetic algorithm
data sets