Slicing Concurrent Real-Time System Specifications for Verification.

Published in: IFM (2007)

Keyphrases

real time
model checking
automated verification
concurrent systems
model checker
formal verification
real time systems
formal specification
reverse engineering
bounded model checking
formal methods
high speed
general purpose
high level
data sets
temporal logic
asynchronous circuits
genetic algorithm
neural network