Filters
verification server
The verification server is a new software tool enabling the use of a new software verification method (automated formal verification). The verification server provides the services of individual formal tools such a...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- R
Rok uplatnění
R - Software
Towards Hardware Verification
This paper gives an introduction to the approach of verification of discrete timed hardware design. It roughly offers low-level verification hand in hand
with high-level verification (which is described in more detail)....
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Verificator prototype
The verification device VeriMag was developed for flowmeter MAGX2 as a instrument for verification correct functionality of the flowmeter....
Automation and control systems
- 2017 •
- Gprot •
- Link
Rok uplatnění
Gprot - Prototyp
Výsledek na webu
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-mechanical Systems
Functional verification is a modern approach to verifying that digital system complies with its specification. Verification environment for functional verification in this paper. This verification environment is de...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
client application of the verification server
The Verification Server client application is a software tool that enables communication between the Verification Server and the user. It allows the user to verify C and C ++ requests and source code using the server provided by the...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- R
Rok uplatnění
R - Software
Comparison of security alarm and emergency systems with video-verification
The issue of verification of alarms via video-verification, integrated, the alarm verification conducted either in person or via specially separate camera of verification alarm effective, reliable and able to corre...
JA - Elektronika a optoelektronika, elektrotechnika
- 2015 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Speaker Verification
Speaker Verification...
JA - Elektronika a optoelektronika, elektrotechnika
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Formal Verification of Machine-Code Systems by Translation of Simulable Descriptions
verification. While formal verification of source-code and hardware systems is widely used, existing approaches to formal verification of machine code are severely limited in verification strength and processor ch...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Pattern-Based Verification for Trees
Extended abstract introducing the extension for Pattern-Based Verification needed to handling the tree structures.
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Verification of the accuracy and verification of CEMs accuracy including the demonstration of EL CO, NO, SO2, Hg and SP EL
Verification of accuracy of calibration functions for CEMs emissions of gas end solid emisssions, verification of EL filling for the operation of boilers burning NG......
Energy and fuels
- 2020 •
- Vsouhrn
Rok uplatnění
Vsouhrn - Souhrnná výzkumná zpráva
- 1 - 10 out of 14 957