Wynik wyszukiwania
Zapytanie: SAT-BASED VERIFICATION
Liczba odnalezionych rekordów: 1



Przejście do opcji zmiany formatu | Wyświetlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/1
Nr opisu: 0000127486
Tytuł oryginału: JumpSAT based system verification scenarios.
Autorzy: Andrzej Pułka.
Źródło: W: 2018 International Conference on Signals and Electronic Systems (ICSES), Kraków, Poland, 10-12 September 2018. Eds. Witold Machowski, Jacek Stępień. Piscataway : IEEE, 2018, 301-306, bibliogr. 18 poz.
ISBN: 978-153866768-2
Punktacja MNiSW: 20.000
Liczba arkuszy wydawniczych: 0,5
Bazy indeksujące publikację: Scopus; IEEE Xplore
DOI:
Słowa kluczowe polskie: weryfikacja formalna ; badanie spełnialności logicznej ; weryfikacja oparta na analizie spełnialności funkcji
Słowa kluczowe angielskie: formal verification ; SAT solving ; SAT-based verification
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w PŚl.
Dostęp on-line:


stosując format:
Nowe wyszukiwanie