Connecting you to content on EBSCOhost

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

Results: 5

1

Rodin: an open toolset for modelling and reasoning in Event-B.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 447, doi. 10.1007/s10009-010-0145-y

By:

Abrial, Jean-Raymond;
Butler, Michael;
Hallerstede, Stefan;
Thai Son Hoang;
Mehta, Farhad;
Voisin, Laurent

Publication type:

Article

2

Improved usability and performance of SMT solvers for debugging specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 467, doi. 10.1007/s10009-010-0138-x

By:

Cok, David R.

Publication type:

Article

3

Towards an industrial grade IVE for Java and next generation research platform for JML.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 429, doi. 10.1007/s10009-010-0164-8

By:

Chalin, Patrice;
Robby;
James, Perry R.;
Jooyong Lee;
Karabotsos, George

Publication type:

Article

4

Verified software: theories, tools and experiments.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 405, doi. 10.1007/s10009-010-0175-5

By:

Kroening, Daniel;
Margaria, Tiziana

Publication type:

Article

5

Combining predicate and numeric abstraction for software model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 409, doi. 10.1007/s10009-010-0162-x

By:

Gurfinkel, Arie;
Chaki, Sagar

Publication type:

Article