Výsledky vyhledávání - "Liveness property"

DYNAMIC ANALYSIS OF ROUTER LINKS BY THE CREATION OF TRIAL PACKETS

Autor: ANUP KALYANASHETTI, VINOD TUNGAL, SURAJ SHINDE

Systems are getting bigger and even more unpredictable, yet administrators depend on simple tools like trace route, ping to troubleshoot the problems. We propose a computerized and efficient methodology for testing and investigating systems called ge

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f7daec53b8ac2c18f3d664b1d7df54f

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A tutorial on UPPAAL

Autor: Behrmann, Gerd, David, Alexandre, Larsen, Kim G., Bernardo, Marco, Corradini, Flavio

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540230687
SFM
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures, 200-236
STARTPAGE=200;ENDPAGE=236;TITLE=Formal Methods for the Design of Real-Time Systems

This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide ref

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0cc4fe3f31c5039781a53da14b39d5d
https://doi.org/10.1007/978-3-540-30080-9_7

Zobrazit plný text záznamu

Temporal verification with transition invariants

Autor: Rybalchenko, Andrey

Program verification increases the degree of confidence that a program will perform correctly. Manual verification is an error-prone and tedious task. Its automation is highly desirable. The verification methodology reduces the reasoning about tempor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23a74ebe0fb1a313586f77cbcf179f04

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Logic for the Specification of Multi-Object Systems

Autor: Broersen, Jan, Wieringa, Roel, Ciancarini, Paolo, Fantechi, Alessandro, Gorrieri, Robert

Publikováno v: Formal Methods for Open Object-Based Distributed Systems ISBN: 9781475752663
Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 241-258
STARTPAGE=241;ENDPAGE=258;TITLE=Proc. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 387-398
STARTPAGE=387;ENDPAGE=398;TITLE=Formal Methods for Open Object-Based Distributed Systems

We present Multi-Object Dynamic Logic (MODL), a generalization of Dynamic Logic of which the intended use is the declarative specication of systems that are conceptually described by a multitude of objects. The semantics and entailment properties of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::268343887fd87dea6e85ee113cad856b
https://doi.org/10.1007/978-0-387-35562-7_30

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání