Suchergebnisse - "Hardware Hardware validation Functional verification Assertion checking"

Revisiting and Improving Retrieval-Augmented Deep Assertion Generation von Sun, Weifeng, Li, Hongyan, Yan, Meng, Lei, Yan, Zhang, Hongyu

“… Unit testing validates the correctness of the unit under test and has become an essential activity in software development process. A unit test consists of a …”
Volltext

RTLcheck: verifying the memory consistency of RTL designs von Manerkar, Yatin A., Lustig, Daniel, Martonosi, Margaret, Pellauer, Michael

“… Paramount to the viability of a parallel architecture is the correct implementation of its memory consistency model (MCM). Although tools exist for verifying …”
Volltext

Inferring better contracts von Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand

“… Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs …”
Volltext

Formal Verification of Security Properties on RISC-V Processors von Chuah, Czea Sie, Appold, Christian, Leinmueller, Tim

“… Hardware Security and trustworthiness are becoming ever more important, especially for security-critical applications like autonomous driving and service …”
Volltext

Security protocols, properties, and their monitoring von Bauer, Andreas, Juerjens, Jan

“… This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ …”
Volltext

Quality assurance of automotive hybrid embedded software von Zander-Nowicka, Justyna

“… Quality assurance (QA) is a crucial part of the software engineering, especially when the developed systems are safety-critical. It becomes even more complex …”
Volltext

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language von Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

“… Though there exists ample support for Design by Contract (DbC) for sequential programs, applying DbC to concurrent programs presents several challenges. In …”
Volltext

CIVL: the concurrency intermediate verification language von Siegel, Stephen F., Zheng, Manchun, Luo, Ziqing, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.

“… There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and …”
Volltext

STORM: static unit checking of concurrent programs von Rakamaric, Z.

“… Concurrency is inherent in today's software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs …”
Volltext

Dynamic symbolic data structure repair von Hussain, Ishtiaque, Csallner, Christoph

“… Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices …”
Volltext

QED: a proof system based on reduction and abstraction for the static verification of concurrent software von Elmas, Tayfun

“… We present a proof system and supporting tool, QED, for the static verification of concurrent software. Our key idea is to simplify the verification of a …”
Volltext

Validation of contracts using enabledness preserving finite state abstractions von de Caso, Guido, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

“… Pre/post condition-based specifications are common-place in a variety of software engineering activities that range from requirements through to design and …”
Volltext

Leveraging 3D PCRAM technologies to reduce checkpoint overhead for future exascale systems von Dong, Xiangyu, Muralimanohar, Naveen, Jouppi, Norm, Kaufmann, Richard, Xie, Yuan

“… The scalability of future massively parallel processing (MPP) systems is challenged by high failure rates. Current hard disk drive (HDD) checkpointing results …”
Volltext

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler von Chalin, P.

“… The verifying compiler (VC) project is a core component of the dependable systems evolution grand challenge. The VC offers the promise of automatically proving …”
Volltext

Precise control flow reconstruction using boolean logic von Reinbacher, Thomas, Brauer, Jörg

“… This paper presents a SAT-based method for control flow graph reconstruction from executable code. The key idea of the technique is to express the semantics of …”
Volltext

Hierarchical application aware error detection and recovery von Iyer, Ravishankar K.

“… Proposed is a four-tired approach to develop and integrate detection and recovery support at different levels of the system hierarchy. The proposed mechanisms …”
Volltext

Towards a method of programming with assertions von Rosenblum, David S.

“… Embedded assertions have long been recognized as a Po- tentially powerful tool for automatic runtime detection of software faults during debugging, testing and …”
Volltext

Automatic trace analysis for logic of constraints von Chen, Xi, Hsieh, Harry, Balarin, Felice, Watanabe, Yosinori

“… Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as …”
Volltext

Utilizing Formal Assertions for System Design of Network Processors von Chen, Xi, Luo, Yan, Hsieh, Harry, Bhuyan, Laxmi, Balarin, Felice

“… System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to …”
Volltext

Self-healing web service compositions von Guinea, Sam

Volltext