Research topic

Software Reliability and Analysis Research

Discover papers and researchers connected with this scholarly topic.

Research papers

1997 · IEEE Transactions on Software Engineering · 3,795 citations

The model checker SPIN

SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. The paper gives an overview of the design and structure of the verifier, reviews its theoretical foundation, and gives an overview of significant practical applications.

1983 · Journal of the American Statistical Association · 2,614 citations

Probability and Statistics With Reliability, Queuing, and Computer Science Applications.

Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, offers a comprehensive introduction to probabiliby, stochastic processes, and statistics for students of computer science, electrical and computer engineering, and applied mathematics. Its wealth of practical examples and up-to-date information makes it an excellent resource for practitioners as well.