Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.

Olivier F. Roux Vlad Rusu

Published in: Hybrid Systems (1994)

Keyphrases

social networks
desirable properties
data sets
cellular automata
structural properties
finite state machines
imperative programs
neural network
website
np complete