Výsledky vyhledávání - Hardware Hardware validation Functional verification Assertion checking

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

“… A unit test consists of a test prefix that drives the unit under test into a particular state, and a test oracle (e.g., assertion…”
Získat plný text

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

“…). Although tools exist for verifying consistency models at several design levels, a problematic verification gap exists between checking an abstract microarchitectural specification of a consistency…”
Získat plný text

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

“…, since the inferred contracts tend to be simple assertions - the very ones that programmers find easy to write…”
Získat plný text

Formal Verification of Security Properties on RISC-V Processors Autor 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 robots…”
Získat plný text

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

“…This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties…”
Získat plný text

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

“… We systematically evaluate the validity of system testing results obtained via runtime assertion checking using actual concurrent and functional faults on a highly concurrent industrial system…”
Získat plný text

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

“… few. This multitude creates a serious challenge for developers of software verification tools: it takes enormous effort to develop such tools, but each development effort…”
Získat plný text

Quality assurance of automotive hybrid embedded software Autor 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…”
Získat plný text

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

“… This paper describes a scalable, automatic, and precise approach to static unit checking of concurrent programs implemented in a tool called Storm…”
Získat plný text

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

“…We present a proof system and supporting tool, QED, for the static verification of concurrent software…”
Získat plný text

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

“… The fragmented nature of these specifications can hinder validation as it is difficult to understand if the specifications for the various operations fit together well…”
Získat plný text

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

“… Existing approaches can integrate with good software engineering practices such as program assertions…”
Získat plný text

Leveraging 3D PCRAM technologies to reduce checkpoint overhead for future exascale systems Autor 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…”
Získat plný text

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

“… The VC offers the promise of automatically proving that a program or component is correct, where correctness is defined by program assertions…”
Získat plný text

Precise control flow reconstruction using boolean logic Autor 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…”
Získat plný text

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

“… The proposed mechanisms exploit support provided by (i) embedded hardware, (ii) operating system, (iii) compiler, and (iv) application…”
Získat plný text

Towards a method of programming with assertions Autor 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 maintenance…”
Získat plný text

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

“… In this paper, we apply assertion checking methodology to the system design of network processors…”
Získat plný text

Automatic trace analysis for logic of constraints Autor 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 they should…”
Získat plný text

Self-healing web service compositions Autor Guinea, Sam

Získat plný text