Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Archer, M., Heitmeyer, C., Sims, S.: TAME: A PVS interface to simplify proofs for automata models. In: User Interfaces for Theorem Provers (1998)
2. Bensalem, S., Caspi, P., Parent-Vigouroux, C., Dumas, C.: A methodology for proving control systems with Lustre and PVS. In: Proceedings of the Seventh Working Conference on Dependable Computing for Critical Applications (DCCA 7), San Jose CA, January 1999, pp. 89–107. IEEE Computer Society Press, Los Alamitos (1999)
3. Valdis, B.L., Yehudai, A.: Using transformations in specification-based prototyping. IEEE Transactions on Software Engineering 19(5), 436–452 (1993)
4. Blackburn, M.R., Busser, R.D., Fontaine, J.S.: Automatic generation of test vectors for SCR-style specifications. In: Proceedings of the 12th Annual Conference on Computer Assurance, COMPASS 1997 (June 1997)
5. Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)