Suchergebnisse - "International journal on software tools for technology transfer"

Go2Pins: a framework for the LTL verification of Go programs (extended version) von Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne

“… We introduce Go2Pins, a tool that takes a program written in Go and links it with two model checkers: LTSMin (Kant et al. Ltsmin: high-performance …”
Volltext

Bounded model checking of software using SMT solvers instead of SAT solvers von Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo

Volltext

An overview of JML tools and applications von Burdy, Lilian, Cheon, Yoonsik, Cok, David R., Ernst, Michael D., Kiniry, Joseph R., Leavens, Gary T., Leino, K. Rustan M., Poll, Erik

“… The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim …”
Volltext

The probabilistic model checker Storm von Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias

“… We present the probabilistic model checker Storm . Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov …”
Volltext

An embeddable virtual machine for state space generation von Weber, Michael

Volltext

An ontology for software component matching von Pahl, Claus

“… Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to …”
Volltext

First three years of the international verification of neural networks competition (VNN-COMP) von Brix, Christopher, Müller, Mark Niklas, Bak, Stanley, Johnson, Taylor T., Liu, Changliu

“… This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition …”
Volltext

Uppaal SMC tutorial von David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted

“… This tutorial paper surveys the main features of Uppaal  SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex …”
Volltext

MCMAS: an open-source model checker for the verification of multi-agent systems von Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco

“… We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent …”
Volltext

State space reduction using partial order techniques von Clarke, E.M., Grumberg, O., Minea, M., Peled, D.

Volltext

On porting software visualization tools to the web von D’Ambros, Marco, Lanza, Michele, Lungu, Mircea, Robbes, Romain

“… Software systems are hard to understand due to the complexity and the sheer size of the data to be analyzed. Software visualization tools are a great help as …”
Volltext

Reliable benchmarking: requirements and solutions von Beyer, Dirk, Löwe, Stefan, Wendler, Philipp

“… Benchmarking is a widely used method in experimental computer science, in particular, for the comparative evaluation of tools and algorithms. As a consequence, …”
Volltext

CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems von Mateescu, Radu

“… Boolean equation systems (Bess) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence …”
Volltext

A taxonomy for classifying runtime verification tools von Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy

“… Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical …”
Volltext

A real-time profile for UML von Graf, Susanne, Ober, Ileana, Ober, Iulian

“… This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and scheduling-related properties. To this aim, …”
Volltext

OC-PM: analyzing object-centric event logs and process models von Berti, Alessandro, van der Aalst, Wil M. P.

“… Object-centric process mining is a novel branch of process mining that aims to analyze event data from mainstream information systems (such as SAP) more …”
Volltext

What’s decidable about parametric timed automata? von André, Étienne

“… Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25 years of research on …”
Volltext

Program sketching von Solar-Lezama, Armando

“… Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to …”
Volltext

Decision-making under uncertainty: beyond probabilities: Challenges and perspectives von Badings, Thom, Simão, Thiago D., Suilen, Marnix, Jansen, Nils

“… This position paper reflects on the state-of-the-art in decision-making under uncertainty. A classical assumption is that probabilities can sufficiently …”
Volltext

Rodin: an open toolset for modelling and reasoning in Event-B von Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad, Voisin, Laurent

“… Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of …”
Volltext