Works about SOFTWARE verification

Results: 684

Editorial.

Published in:

2025

By:

Agrawal, Vishwani D.

Publication type:

Case Study

Context Gas and friends: taming context-sensitivity on the fly.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 2, p. 289, doi. 10.1007/s10009-025-00803-3

By:

Erhard, Julian;
Schinabeck, Johanna Franziska;
Schwarz, Michael;
Seidl, Helmut

Publication type:

Article

Application of Blockchain Technologies in Verification of Software Metrics.

Published in:

Applied Sciences (2076-3417), 2025, v. 15, n. 10, p. 5519, doi. 10.3390/app15105519

By:

Milutinović, Jovan;
Milić, Petar;
Milenković, Vladeta;
Mekić, Edis;
Matović, Ana

Publication type:

Article

The neglected model validation of antimicrobial resistance transmission models – a systematic review.

Published in:

Antimicrobial Resistance & Infection Control, 2025, v. 14, n. 1, p. 1, doi. 10.1186/s13756-025-01574-x

By:

Brinch, Maja L.;
Palladino, Andrea;
Geurtsen, Jeroen;
Van Effelterre, Thierry;
Argante, Lorenzo;
McConnell, Michael J.;
Christiansen, Lene;
Pihl, Michelle A.;
Lund, Natasja K.;
Hald, Tine

Publication type:

Article

EDA companies bundle engines for easier verification.

Published in:: Electronics Systems & Software, 2005, v. 3, n. 3, p. 45
Publication type:: Article

Coverage from design.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 3, p. 34

By:

Ho, Richard

Publication type:

Article

Challenges of software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 669, doi. 10.1007/s10009-024-00778-7

By:

Arceri, Vincenzo;
Negrini, Luca;
Olivieri, Luca;
Ferrara, Pietro

Publication type:

Article

Six years later: testing vs. model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 633, doi. 10.1007/s10009-024-00769-8

By:

Beyer, Dirk;
Lemberger, Thomas

Publication type:

Article

Challenges of software verification: the past, the present, the future.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 421, doi. 10.1007/s10009-024-00765-y

By:

Ferrara, Pietro;
Arceri, Vincenzo;
Cortesi, Agostino

Publication type:

Article

Formal analysis of an AUTOSAR-based basic software module.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 495, doi. 10.1007/s10009-024-00759-w

By:

Bodei, Chiara;
De Vincenzi, Marco;
Matteucci, Ilaria

Publication type:

Article

Software verification challenges in the blockchain ecosystem.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 431, doi. 10.1007/s10009-024-00758-x

By:

Olivieri, Luca;
Spoto, Fausto

Publication type:

Article

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 129, doi. 10.1007/s10009-023-00699-x

By:

Jensen, Peter Gjøl;
Neele, Thomas

Publication type:

Article

An automated framework for verifying or refuting trace properties of extended finite state machines.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 949, doi. 10.1007/s10009-022-00666-y

By:

Taylor, Ramsay G.;
Foster, Michael;
North, Siobhán

Publication type:

Article

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 663, doi. 10.1007/s10009-022-00677-9

By:

Biere, Armin;
Parker, David

Publication type:

Article

Full-program induction: verifying array programs sans loop invariants.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 843, doi. 10.1007/s10009-022-00676-w

By:

Chakraborty, Supratik;
Gupta, Ashutosh;
Unadkat, Divyesh

Publication type:

Article

Using linear algebra in decomposition of Farkas interpolants.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 111, doi. 10.1007/s10009-021-00641-z

By:

Blicha, Martin;
Hyvärinen, Antti E. J.;
Kofroň, Jan;
Sharygina, Natasha

Publication type:

Article

On methods and tools for rigorous system design.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 679, doi. 10.1007/s10009-021-00632-0

By:

Bliudze, Simon;
Katsaros, Panagiotis;
Bensalem, Saddek;
Wirsing, Martin

Publication type:

Article

Plain random test generation with PRTest.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 871, doi. 10.1007/s10009-020-00568-x

By:

Lemberger, Thomas

Publication type:

Article

Correct program parallelisations.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 741, doi. 10.1007/s10009-020-00601-z

By:

Blom, S.;
Darabi, S.;
Huisman, M.;
Safari, M.

Publication type:

Article

Verification and refutation of C programs based on k-induction and invariant inference.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 2, p. 115, doi. 10.1007/s10009-020-00564-1

By:

Alhawi, Omar M.;
Rocha, Herbert;
Gadelha, Mikhail R.;
Cordeiro, Lucas C.;
Batista, Eddie

Publication type:

Article

Extracting safe thread schedules from incomplete model checking results.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 565, doi. 10.1007/s10009-020-00575-y

By:

Metzler, Patrick;
Suri, Neeraj;
Weissenbacher, Georg

Publication type:

Article

A study of learning likely data structure properties using machine learning models.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 601, doi. 10.1007/s10009-020-00577-w

By:

Usman, Muhammad;
Wang, Wenxi;
Wang, Kaiyuan;
Yelen, Cagdas;
Dini, Nima;
Khurshid, Sarfraz

Publication type:

Article

Introduction to the Special Issue devoted to SPIN 2018.

Published in:

2020

By:

Gallardo, María del Mar;
Merino, Pedro

Publication type:

Editorial

IC3 software model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 135, doi. 10.1007/s10009-019-00547-x

By:

Lange, Tim;
Neuhäußer, Martin R.;
Noll, Thomas;
Katoen, Joost-Pieter

Publication type:

Article

Joint forces for memory safety checking revisited.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 115, doi. 10.1007/s10009-019-00526-2

By:

Chalupa, Marek;
Strejček, Jan;
Vitovská, Martina

Publication type:

Article

Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 545, doi. 10.1007/s10009-019-00507-5

By:

Herdt, Vladimir;
Le, Hoang M.;
Große, Daniel;
Drechsler, Rolf

Publication type:

Article

An integrated environment for Spin-based C code checking: Towards bringing model-driven code checking closer to practitioners.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 3, p. 267, doi. 10.1007/s10009-019-00510-w

By:

Ratiu, Daniel;
Ulrich, Andreas

Publication type:

Article

From high-level modeling toward efficient and trustworthy circuits.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 2, p. 143, doi. 10.1007/s10009-017-0462-5

By:

Zaraket, Fadi A.;
Jaber, Mohamad;
Noureddine, Mohamad;
Falcone, Yliès

Publication type:

Article

Reliable benchmarking: requirements and solutions.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 1, doi. 10.1007/s10009-017-0469-y

By:

Beyer, Dirk;
Löwe, Stefan;
Wendler, Philipp

Publication type:

Article

Integrated formal verification of safety-critical software.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 423, doi. 10.1007/s10009-017-0475-0

By:

Ge, Ning;
Jenn, Eric;
Breton, Nicolas;
Fonteneau, Yoann

Publication type:

Article

VerifyThis 2015.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 763, doi. 10.1007/s10009-016-0438-x

By:

Huisman, Marieke;
Klebanov, Vladimir;
Monahan, Rosemary;
Tautschnig, Michael

Publication type:

Article

AutoProof: auto-active functional verification of object-oriented programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 6, p. 697, doi. 10.1007/s10009-016-0419-0

By:

Furia, Carlo;
Nordio, Martin;
Polikarpova, Nadia;
Tschannen, Julian

Publication type:

Article

An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 549, doi. 10.1007/s10009-016-0415-4

By:

Abdulla, Parosh;
Haziza, Frédéric;
Holík, Lukáš;
Jonsson, Bengt;
Rezine, Ahmed

Publication type:

Article

Efficient family-based model checking via variability abstractions.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 585, doi. 10.1007/s10009-016-0425-2

By:

Dimovski, Aleksandar;
Al-Sibahi, Ahmad;
Brabrand, Claus;
Wąsowski, Andrzej

Publication type:

Article

Advances in verification presented in TACAS'13.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 511, doi. 10.1007/s10009-017-0460-7

By:

Piterman, Nir

Publication type:

Article

Synthesis of circular compositional program proofs via abduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 535, doi. 10.1007/s10009-015-0397-7

By:

Dillig, Isil;
Dillig, Thomas;
Li, Boyang;
McMillan, Ken;
Sagiv, Mooly

Publication type:

Article

Handling loops in bounded model checking of C programs via k-induction.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 97, doi. 10.1007/s10009-015-0407-9

By:

Gadelha, Mikhail;
Ismail, Hussama;
Cordeiro, Lucas

Publication type:

Article

Equivalence class verification of the contract net protocol-extension.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 685, doi. 10.1007/s10009-015-0376-z

By:

Gupta, Amar;
Gallasch, Guy

Publication type:

Article

Provably correct control flow graphs from Java bytecode programs with exceptions.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 653, doi. 10.1007/s10009-015-0375-0

By:

Amighi, Afshin;
Gomes, Pedro de Carvalho;
Gurov, Dilian;
Huisman, Marieke

Publication type:

Article

Preface of the special issue on Model Checking of Software.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 355, doi. 10.1007/s10009-016-0414-5

By:

Bartocci, Ezio;
Ramakrishnan, C.

Publication type:

Article

AutoProof meets some verification challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 745, doi. 10.1007/s10009-014-0300-y

By:

Tschannen, Julian;
Furia, Carlo;
Nordio, Martin

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

KIV: overview and VerifyThis competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3

By:

Ernst, Gidon;
Pfähler, Jörg;
Schellhorn, Gerhard;
Haneberg, Dominik;
Reif, Wolfgang

Publication type:

Article

Let's verify this with Why3.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 709, doi. 10.1007/s10009-014-0314-5

By:

Bobot, François;
Filliâtre, Jean-Christophe;
Marché, Claude;
Paskevich, Andrei

Publication type:

Article

SPARK 2014 and GNATprove.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 695, doi. 10.1007/s10009-014-0322-5

By:

Hoang, Duc;
Moy, Yannick;
Wallenburg, Angela;
Chapman, Roderick

Publication type:

Article

Witnessing the elimination of magic wands.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3

By:

Blom, Stefan;
Huisman, Marieke

Publication type:

Article

VerifyThis 2012.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 647, doi. 10.1007/s10009-015-0396-8

By:

Huisman, Marieke;
Klebanov, Vladimir;
Monahan, Rosemary

Publication type:

Article

Implementation-level verification of algorithms with KeY.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 729, doi. 10.1007/s10009-013-0293-y

By:

Bruns, Daniel;
Mostowski, Wojciech;
Ulbrich, Mattias

Publication type:

Article

Statistical model checking for biological systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 351, doi. 10.1007/s10009-014-0323-4

By:

David, Alexandre;
Larsen, Kim;
Legay, Axel;
Mikučionis, Marius;
Poulsen, Danny;
Sedwards, Sean

Publication type:

Article

Model checking evaluation of airplane landing trajectories.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 753, doi. 10.1007/s10009-013-0273-2

By:

Quer, Stefano

Publication type:

Article