Posts Tagged "model checking"
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system
- Increasing Student Self-Reliance and Engagement in Model-Checking Courses
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
- Experience Report on an Inquiry-Based Course on Model Checking
- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
- Symbolic Reachability Analysis of B through ProB and LTSmin
