Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 6

Results: 8

On ranking functions for single-path linear-constraint loops.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 655, doi. 10.1007/s10009-019-00549-9

By:

Li, Yi;
Wu, Wenyuan;
Feng, Yong

Publication type:

Article

Enabling continuous integration in a formal methods setting.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 667, doi. 10.1007/s10009-019-00546-y

By:

Couto, Luis Diogo;
Tran-Jørgensen, Peter W. V.;
Nilsson, René S.;
Larsen, Peter Gorm

Publication type:

Article

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 741, doi. 10.1007/s10009-020-00582-z

By:

Ničković, Dejan;
Lebeltel, Olivier;
Maler, Oded;
Ferrère, Thomas;
Ulus, Dogan

Publication type:

Article

Tools for the construction and analysis of systems: A special issue for TACAS 2018.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 685, doi. 10.1007/s10009-020-00581-0

By:

Beyer, Dirk;
Huisman, Marieke

Publication type:

Article

An efficient statistical model checker for nondeterminism and rare events.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 759, doi. 10.1007/s10009-020-00563-2

By:

Budde, Carlos E.;
D'Argenio, Pedro R.;
Hartmanns, Arnd;
Sedwards, Sean

Publication type:

Article

Automating deductive verification for weak-memory programs (extended version).

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 709, doi. 10.1007/s10009-020-00559-y

By:

Summers, Alexander J.;
Müller, Peter

Publication type:

Article

The Refinement Calculus of Reactive Systems Toolset.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 689, doi. 10.1007/s10009-020-00561-4

By:

Dragomir, Iulia;
Preoteasa, Viorel;
Tripakis, Stavros

Publication type:

Article

Efficient monitoring of hyperproperties using prefix trees.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 729, doi. 10.1007/s10009-020-00552-5

By:

Finkbeiner, Bernd;
Hahn, Christopher;
Stenger, Marvin;
Tentrup, Leander

Publication type:

Article