Results 111 to 120 of about 253,484 (163)
Verification of Concurrent Software
Electronic proceedings in theoretical computer science, 2017 openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2009
This chapter covers an application of propositional satisfiability to program analysis. We focus on the discovery of programming flaws in low-level programs, such as embedded software. The loops in the program are unwound together with a property to form a formula, which is then converted into CNF.
openaire +2 more sources
This chapter covers an application of propositional satisfiability to program analysis. We focus on the discovery of programming flaws in low-level programs, such as embedded software. The loops in the program are unwound together with a property to form a formula, which is then converted into CNF.
openaire +2 more sources
Software Unit Verification of Medical Software
New Electronics, 2021What engineers need to do in order to meet the requirements for software unit verification in IEC 62304.
openaire +1 more source
Automatic Software Verification
2012The complexity of cell phones is continually increasing, with regards to both hardware and software parts. As many complex devices, their components are usually designed and verified separately by specialized teams of engineers and programmers. However, even if each isolated part is working flawlessly, it often happens that bugs in one software ...
Ernesto Sanchez +2 more
openaire +1 more source