scholarly journals Automatic Error Localization for Software Using Deductive Verification

2014 ◽  
pp. 92-98 ◽  
Author(s):  
Robert Könighofer ◽  
Ronald Toegl ◽  
Roderick Bloem
Keyword(s):  
Deductive Verification ◽  
Error Localization ◽  
Automatic Error

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

2019 ◽  
Author(s):  
Irina Bystrova ◽  
E. Danil'chuk ◽  
Boris Podkopaev
Keyword(s):  
Single Component ◽  
Diagnostic Model ◽  
State Machines ◽  
Model Optimization ◽  
Error Localization ◽  
Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

Lattice Re-Scoring During Manual Editing for Automatic Error Correction of ASR Transcripts

2019 ◽  
Author(s):  
Anna V. Rúnarsdóttir ◽  
Inga R. Helgadóttir ◽  
Jón Guðnason
Keyword(s):  
Error Correction ◽  
Automatic Error

scholarly journals Efficient Flexible Fitting Refinement with Automatic Error Fixing for De Novo Structure Modeling from Cryo-EM Density Maps

2021 ◽  
Author(s):  
Takaharu Mori ◽  
Genki Terashi ◽  
Daisuke Matsuoka ◽  
Daisuke Kihara ◽  
Yuji Sugita
Keyword(s):  
De Novo ◽  
Structure Modeling ◽  
Density Maps ◽  
Automatic Error

Automated Design Error Localization in RTL Designs

2014 ◽  
Vol 31 (1) ◽  
pp. 83-92 ◽  
Author(s):  
Maksim Jenihhin ◽  
Anton Tsepurov ◽  
Valentin Tihhomirov ◽  
Jaan Raik ◽  
Hanno Hantson ◽  
...  
Keyword(s):  
Automated Design ◽  
Design Error ◽  
Error Localization
Sign in / Sign up

Export Citation Format

Share Document