Search Results - Staskauskas, M.

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Using partial-order methods in the formal validation of industrial concurrent programs

    Using partial-order methods in the formal validation of industrial concurrent programs by Godefroid, P., Peled, D., Staskauskas, M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Formal derivation of concurrent programs: an example from industry

    Formal derivation of concurrent programs: an example from industry by Staskauskas, M.G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A framework for evaluating specification methods for reactive systems-experience report

    A framework for evaluating specification methods for reactive systems-experience report by Ardis, M.A., Chaves, J.A., Jagadeesan, L.J., Mataga, P., Puchol, C., Staskauskas, M.G., Von Olnhausen, J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    The formal specification and design of a distributed electronic funds-transfer system

    The formal specification and design of a distributed electronic funds-transfer system by Staskauskas, M.G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    An experience in the formal verification of industrial software

    An experience in the formal verification of industrial software by Staskauskas, M. G.

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:
  6. 6
    The virtual finite-state machine design and implementation paradigm: Software

    The virtual finite-state machine design and implementation paradigm: Software by FLORA-HOLMQUIST, A. R, MORTON, E, O'GRADY, J. D, STASKAUSKAS, M. G

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    The virtual finite-state machine design and implementation paradigm

    The virtual finite-state machine design and implementation paradigm by Flora-Holmquist, Alan R., Morton, Edward, O'Grady, James D., Staskauskas, Mark G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A framework for evaluating specification methods for reactive systems: experience report

    A framework for evaluating specification methods for reactive systems: experience report by Ardis, Mark A., Chaves, John A., Jagadeesan, Lalita Jategaonkar, Mataga, Peter, Puchol, Carlos, Staskauskas, Mark G., Von Olnhausen, James

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    An exercise in verifying concurrent programs in industry: the I/O subsystem

    An exercise in verifying concurrent programs in industry: the I/O subsystem by Staskauskas, M.G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: