Login / Signup
From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction.
Ahmad Tarraf
Lars Hedrich
Published in:
it Inf. Technol. (2020)
Keyphrases
</>
formal verification
hybrid systems
cyber physical
bounded model checking
model checking
black box
intelligent systems
social networks
neural network
soft computing
computational intelligence
high speed
artificial intelligence
discrete event
physical world
situation awareness
model selection