As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
In this paper, we present a collaborative, web-based framework to create 3D scenarios for product design, simulation and training assisted by animated avatars. To support correct design and anticipate critical design decisions we employ a verification approach to check for safety and reachability properties. By animating the 3D model based on prover results (trace witnesses out of constructive proofs) the system provides tangible feedback of the verification to the designer. We describe the components of the framework and illustrate the functionality based on an existing factory production line.