Abstract is missing.
- Formal verification of algorithms for critical systemsJohn M. Rushby, Friedrich W. von Henke. 1-15 [doi]
- State-based model checking of event-driven system requirementsJoanne M. Atlee, John D. Gannon. 16-28 [doi]
- Rigorous development using RAISEBent Dandanell. 29-43 [doi]
- Specifying and verifying requirements of real-time systemsKirsten Mark Hansen, Anders P. Ravn, Hans Rischel. 44-54 [doi]
- A systematic kernel developmentJørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen. 55-65 [doi]
- The infeasibility of experimental quantification of life-critical software reliabilityRicky W. Butler, George B. Finelli. 66-76 [doi]
- Assessing the fault-detecting ability of testing methodsPhyllis G. Frankl, Elaine J. Weyuker. 77-91 [doi]
- An exception handling model for parallel programming and its verificationValérie Issarny. 92-100 [doi]
- A real-time transition model for analyzing behavioral compatibility of telecommunications servicesE. Jane Cameron, Yow-Jian Lin. 101-111 [doi]
- Programming and verifying critical systems by means of the synchronous data-flow language LUSTREChristophe Ratel, Nicolas Halbwachs, Pascal Raymond. 112-119 [doi]
- Stepwise design of real-time systemsReino Kurki-Suonio. 120-131 [doi]
- On satisfying timing constraints in hard-real-time systemsJia Xu, David Lorge Parnas. 132-146 [doi]
- Automated analysis of bounded response time for two NASA expert systemsChih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok. 147-161 [doi]