{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T05:35:00Z","timestamp":1740202500105,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/978-1-61499-302-5-225","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T15:05:02Z","timestamp":1740150302000},"source":"Crossref","is-referenced-by-count":0,"title":["A Virtual Environment for Collaborative Engineering with Formal Verification"],"prefix":"10.3233","author":[{"family":"Herget Wolfgang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Krau&szlig; Christopher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Nonnengart Andreas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Spieldenner Torsten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Warwas Stefan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zinnikus Ingo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["20th ISPE International Conference on Concurrent Engineering"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T15:50:03Z","timestamp":1740153003000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-301-8&spage=225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-302-5-225","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}