First Page | Document Content | |
---|---|---|
![]() Date: 2010-09-11 18:45:03Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification | Add to Reading List |
![]() | Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-HeuserDocID: 1ptUJ - View Document |
![]() | Automatic device connection Users want the devices to pair automatically and do not want to fiddle around with the setup. I 001DocID: 1ptiU - View Document |
![]() | Microsoft Word - f1488_1.docDocID: 1pjVg - View Document |
![]() | SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015DocID: 1pdyT - View Document |
![]() | X Input Device Extension LibraryDocID: 18f6R - View Document |