Searching for "Formal Verification of Algorithms for Critical Systems." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
unknown title
- … of algorithms for critical systems. IEEE Transactions on Software Engineering, 19(1):13-23, January 1993. [19…
- Add To MetaCart
-
unknown title
- … of algorithms for critical systems. IEEE Transactions on Software Engineering, 19(1):13-23, January 1993. [37…
- Add To MetaCart
-
Formal Methods for Dependable Real-Time Systems
- … of algorithms for critical systems. In SIGSOFT '91: Software for Critical Systems, pages 1--15, New Orleans, LA…
- Cited by 1 (0 self) – Add To MetaCart
-
Quality Measures and Assurance for AI Software
- … von Henke. Formal verification of algorithms for critical systems. In SIGSOFT '91: Software…
- Cited by 4 (1 self) – Add To MetaCart
-
Critical System Properties: Survey and Taxonomy
- …. Formal verification of algorithms for critical systems. IEEE Transactions on Software Engineering, 19…
- Cited by 54 (2 self) – Add To MetaCart
-
A.1. Using Hybrid mjrty 67
- …, SE-12(3):477-481, March 1986. [27] John Rushby. Formal verification of an Oral Messages algorithm…
- Add To MetaCart
-
Measures and Techniques for Software Quality Assurance
- … 4239. [108] John Rushby and Friedrich von Henke. Formal verification of algorithms for critical systems…
- Add To MetaCart
-
44 Appendix C. The Full Specification and Verification
- … verification of algorithms for critical systems. In SIGSOFT '91: Software for Critical Systems, pages 1- 15…
- Add To MetaCart
Showing 1 through 8.
