Verifying AbC Specifications via Emulation.

Rocco De Nicola Tan Duong Omar Inverso

Published in: ISoLA (2) (2020)

Keyphrases

artificial bee colony algorithm
model checking
formal specification
artificial bee colony
delay insensitive
formal specification language
high level
swarm intelligence
databases
specification language
neural network
machine learning
genetic algorithm ga
temporal logic
functional requirements
asynchronous circuits