Temat: verification - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "verification" wg kryterium: Temat

Wyświetlanie 1-10 z 18

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Formal verification of STPA with model checking
Autorzy:: Kwon, Ryeonggu
Kwon, Gihwon
Data publikacji:: 2023
Słowa kluczowe:: formal verification
model checking
STPA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: SyLVaaS : System Level Formal Verification as a Service
Autorzy:: Mancini, T.
Mari, F.
Massini, A.
Melatti, I.
Tronci, E.
Data publikacji:: 2016
Słowa kluczowe:: verification as a service
model checking
hybrid systems
system level formal
verification
distributed multi-core hardware
loop simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Flexible Plan Verification: Feasibility Results
Autorzy:: Cesta, A.
Fratini, S.
Orlandini, A.
Finzi, A.
Tronci, E.
Data publikacji:: 2011
Słowa kluczowe:: timeline-based planning
validation and verification
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stubborn sets for model checking the EF/AG fragment of CTL
Autorzy:: Schmidt, K.
Data publikacji:: 2000
Słowa kluczowe:: computer aided verification
model checking
partial order reduction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Coping with strong fairness
Autorzy:: Latvala, T.
Heljanko, K.
Data publikacji:: 2000
Słowa kluczowe:: verification
model checking
fairness
Streett automata
counterexamples; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Component Composition Validation
Autorzy:: Speck, A.
Pulvermuller, E.
Jerger, M.
Franczyk, B.
Data publikacji:: 2002
Słowa kluczowe:: composition verification
component composition
feature interaction
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Model checking processes specified in join-calculus algebra
Autorzy:: Maludziński, S.
Dobrowolski, G.
Data publikacji:: 2014
Słowa kluczowe:: join-calculus
model checking
formal methods
automatic software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Modeling and Verification of Reactive Systems using Rebeca
Autorzy:: Sirjani, M.
Movaghar, A.
Shali, A.
de Boer, F. S.
Data publikacji:: 2004
Słowa kluczowe:: actor model
reactive system
model checking
compositional verification
property preserving abstraction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Framework to Automatic Deadlock Detection in Concurrent Programs
Autorzy:: Mahdian, F.
Rafe, V.
Rafeh, R.
Data publikacji:: 2012
Słowa kluczowe:: Bogor
zakleszczenia programu
zgodnośc oprogramnowania
verification
concurrent programming
model checking
BIR; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Towards Integrated Verification of Timed Transition Models
Autorzy:: Lawford, M.
Pantelic, V.
Zhang, H.
Data publikacji:: 2006
Słowa kluczowe:: real time
equivalence verification
theorem proving
PVS
model checking
model reduction
SAL; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "verification" wg kryterium: Temat