Login / Signup
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
Miquel Bertran
Albert Duran
Miquel Porta
Francesc-Xavier Babot
August Climent
Miquel Nicolau
Published in:
JISBD (2002)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
mobile robot
real time
symbolic model checking
automated verification
virtual world
parallel processing
seamless integration