Works matching IS 14332779 AND DT 2010 AND VI 12 AND IP 2

Results: 6

    • An embeddable virtual machine for state space generation.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 97, doi. 10.1007/s10009-010-0141-2
      By:
      • Weber, Michael
      Publication type:
      Article

    • Scalable shared memory LTL model checking.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 139, doi. 10.1007/s10009-010-0136-z
      By:
      • Barnat, J.;
      • Brim, L.;
      • Ročkai, P.
      Publication type:
      Article

    • LTL satisfiability checking.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 123, doi. 10.1007/s10009-010-0140-3
      By:
      • Rozier, Kristin Y.;
      • Vardi, Moshe Y.
      Publication type:
      Article

    • Distributed dynamic partial order reduction.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 113, doi. 10.1007/s10009-010-0144-z
      By:
      • Yu Yang;
      • Xiaofang Chen;
      • Gopalakrishnan, Ganesh;
      • Kirby, Robert M.
      Publication type:
      Article

    • Model checking software: on some new waves and some evergreens.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 89, doi. 10.1007/s10009-010-0155-9
      By:
      • Bošnački, Dragan;
      • Edelkamp, Stefan
      Publication type:
      Article

    • Solving the ignoring problem for partial order reduction.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 2, p. 155, doi. 10.1007/s10009-010-0137-y
      By:
      • Evangelista, Sami;
      • Pajault, Christophe
      Publication type:
      Article