Can I read Teaching Rigorous Distributed Systems With Efficient Model Checking on EtoBox?

Teaching Rigorous Distributed Systems With Efficient Model Checking by Ellis Michael, Doug Woos, Thomas Anderson, Michael D. Ernst, and Zachary Tatlock is a scholarly article available to read on EtoBox.

What is Teaching Rigorous Distributed Systems With Efficient Model Checking about?

- Software and its engineering -> Model checking.Software testing and debugging.- Social and professional topics -> Computing education.- Computer systems organization -> Dependable and fault-tolerant systems and networks.Client-server architectures.- Computing methodologies -> Distributed computing methodologies. distributed systems,model checking,education

Author

Ellis Michael, Doug Woos, Thomas Anderson, Michael D. Ernst, and Zachary Tatlock