Výsledky vyhledávání - "Ruf, Jürgen"

Akademický článek

Distributed Symbolic Bounded Property Checking

Autor: Nalla, Pradeep K., Weiss, Roland J., Peranandam, Prakash, Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang

Publikováno v: In Electronic Notes in Theoretical Computer Science 20 February 2006 135(2):47-63

Elektronická kniha

MBMV 2014 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editoren. [electronic resource]

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

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.

Kniha

SystemC : Methodologies and Applications. [elektronicky zdroj]

Autor: Müller, Wolfgang

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Optimized Temporal Logic Compilation

Autor: Krebs, Andreas, Ruf, Jürgen

Publikováno v: JUCS-Journal of Universal Computer Science 9(2): 120-137

Verification and validation are the major tasks during the design of digital hardware/software systems. Often more than 70% of the development time is spent for locating and correcting errors in the design. Therefore, many techniques have been develo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d749ab43abbf56034040a115a4386ada
https://lib.jucs.org/article/27931/

Zobrazit plný text záznamu

Kniha

Efficient Testing of Different Loop Paths.

Autor: Huster, Stefan, Burg, Sebastian, Eichelberger, Hanno, Laufenberg, Jo, Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang

Publikováno v: Software Engineering & Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings; 2015, p117-131, 15p

Zobrazit plný text záznamu

RAVEN: Real-Time Analyzing and Verification Environment

Autor: Ruf, Jürgen

Publikováno v: JUCS-Journal of Universal Computer Science 7(1): 89-104

In this paper we present the real-time verification and analysis tool RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates a real-time model checker for real-time specifications, it offers algorithms f

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

Zobrazit plný text záznamu

Kniha

More Flexible Object Invariants with Less Specification Overhead.

Autor: Huster, Stefan, Heckeler, Patrick, Eichelberger, Hanno, Ruf, Jürgen, Burg, Sebastian, Kropf, Thomas, Rosenstiel, Wolfgang

Publikováno v: Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings; 2014, p302-316, 15p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání