Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Bagnara, Abramo"'
C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during p
Externí odkaz:
http://arxiv.org/abs/2302.05331
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that might baffle even the more expert programmers. Hence, the general presc
Externí odkaz:
http://arxiv.org/abs/2212.13933
MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (codi
Externí odkaz:
http://arxiv.org/abs/2112.12823
Publikováno v:
Constraints 27, 29-69, 2022
Verification of programs using floating-point arithmetic is challenging on several accounts. One of the difficulties of reasoning about such programs is due to the peculiarities of floating-point arithmetic: rounding errors, infinities, non-numeric o
Externí odkaz:
http://arxiv.org/abs/1903.06119
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the
Externí odkaz:
http://arxiv.org/abs/1809.00821
NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared NPATH objective is to count the number of acyclic execution paths thr
Externí odkaz:
http://arxiv.org/abs/1610.07914
Publikováno v:
ACM Trans. Softw. Eng. Methodol. 30, 1, Article 9 (January 2021), 53 pages
Verification of C++ programs has seen considerable progress in several areas, but not for programs that use these languages' mathematical libraries. The reason is that all libraries in widespread use come with no guarantees about the computed results
Externí odkaz:
http://arxiv.org/abs/1610.07390
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Dec2020, Vol. 30 Issue 1, p1-53, 53p
