Sign in
CosyVerif: An Open Source Extensible Verification Environment.
Étienne André
Yousra Lembachar
Laure Petrucci
Francis Hulin-Hubard
Alban Linard
Lom Hillah
Fabrice Kordon
Published in:
ICECCS (2013)
Keyphrases
</>
open source
model checking
real time
neural network
virtual world
environmental conditions
information technology
autonomous agents
asynchronous circuits
mobile robot
source code
dynamic environments
virtual environment
open source software
simulation environment
formal verification