Author: "Helms M" / Journal: ibm journal of research and development - Searchworks@Jio Institute Digital Library Search Results

Author: Buecher, T., Fritz, R., Guenther, P., Helms, M., Lamb, K.D., Loew, M., Schlipf, T., and Walz, M.H.
Subjects: IBM S/390 Parallel Enterprise Server-Generation 5 (Mainframe computer) -- Design and construction, IBM S/390 Parallel Enterprise Server Generation 6 (Mainframe computer) -- Design and construction, Mainframe computers -- Design and construction, Debugging -- Equipment and supplies
Published: 1999

Author: Schlipf, T., Buechner, T., Fritz, R., Helms, M., and Koehl, J.
Subjects: Software -- Verification, Programming languages -- Analysis
Abstract: Formal verification (FV) is considered by many to be complicated and to require considerable mathematical knowledge for successful application. We have developed a methodology in which we have added formal verification to the verification process without requiring any knowledge of formal verification languages. We use only finite-state machine notation, which is familiar and intuitive to designers. Another problem associated with formal verification is state-space explosion. If that occurs, no result is returned; our method switches to random simulation after one hour without results, and no effort is lost. We have compared FV against random simulation with respect to development time, and our results indicate that FV is at least as fast as random simulation. FV is superior in terms of verification quality, however, because it is exhaustive.
Published: 1997

Author: Jacobi, C., primary, Saporito, A., additional, Recktenwald, M., additional, Tsai, A., additional, Mayer, U., additional, Helms, M., additional, Collura, A. B., additional, Mak, P.-K., additional, Sonnelitter, R. J., additional, Blake, M. A., additional, Bronson, T. C., additional, ONeill, A. J., additional, and Papazova, V. K., additional
Published: 2018
Full Text: View/download PDF

Author: Curran, B. W., primary, Jacobi, C., additional, Bonanno, J. J., additional, Schroter, D. A., additional, Alexander, K. J., additional, Puranik, A., additional, and Helms, M. M., additional
Published: 2015
Full Text: View/download PDF

Author: Dorsch, R., primary, Errickson, R. K., additional, Helms, M. M., additional, Crew, G., additional, Gregg, T. A., additional, Haileselassie, W., additional, Helmer, L. W., additional, Kohler, A., additional, Pandey, K., additional, Roscher, S., additional, Rotter, E. S., additional, and Haubelt, C., additional
Published: 2012
Full Text: View/download PDF

Author: Chencinski, E. W., primary, Check, M. A., additional, DeCusatis, C., additional, Deng, H., additional, Grassi, M., additional, Gregg, T. A., additional, Helms, M. M., additional, Koenig, A. D., additional, Mohr, L., additional, Pandey, K., additional, Schlipf, T., additional, Schober, T., additional, Ulrich, H., additional, and Walters, C. R., additional
Published: 2009
Full Text: View/download PDF

Author: Schlipf, T., primary, Helms, M. M., additional, Ruf, J., additional, Klein, M., additional, Dorsch, R., additional, Hoppe, B., additional, Lipponer, W., additional, Boekholt, S., additional, Rower, T., additional, Walz, M., additional, and Junghans, S., additional
Published: 2009
Full Text: View/download PDF

Author: Chencinski, E. W., primary, Becht, M. J., additional, Bubb, T. E., additional, Burwick, C. G., additional, Haess, J., additional, Helms, M. M., additional, Hoke, J. M., additional, Schlipf, T., additional, Turner, J. M., additional, Ulland, H., additional, Walz, M. H., additional, Whitehead, C. H., additional, and Zilles, G., additional
Published: 2004
Full Text: View/download PDF

Author: Buechner, T., primary, Fritz, R., additional, Guenther, P., additional, Helms, M., additional, Lamb, K. D., additional, Loew, M., additional, Schlipf, T., additional, and Walz, M. H., additional
Published: 1999
Full Text: View/download PDF

Searchworks