Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx> --- formal/ppcmem.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex index e33ba2f..743a891 100644 --- a/formal/ppcmem.tex +++ b/formal/ppcmem.tex @@ -391,10 +391,10 @@ It is worth repeating that formal methods and tools are no substitute for testing. The fact is that producing large reliable concurrent software artifacts, the Linux kernel for example, is quite difficult. Developers must therefore be prepared to apply every tool at their disposal towards -this goal. The tools presented in this paper are able to locate bugs that +this goal. The tools presented in this chapter are able to locate bugs that are quite difficult to produce (let alone track down) via testing. On the other hand, testing can be applied to far larger bodies of software than -the tools presented in this paper are ever likely to handle. As always, +the tools presented in this chapter are ever likely to handle. As always, use the right tools for the job! Of course, it is always best to avoid the need to work at this level -- 2.10.0 -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
