Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Even Better DCAS-Based Concurrent Deques
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
DCAS is not a silver bullet for nonblocking algorithm design
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
SCRUB: a tool for code reviews
Innovations in Systems and Software Engineering
Checking a multithreaded algorithm with +CAL
DISC'06 Proceedings of the 20th international conference on Distributed Computing
| Hi-index | 48.22 |
Redundant software (and hardware) ensured Curiosity reached its destination and functioned as its designers intended.