Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Wed, 29 Jun 2022 10:35:24 +0700
From:   Bagas Sanjaya <bagasdotme@gmail.com>
To:     Daniel Bristot de Oliveira <bristot@kernel.org>
Cc:     Steven Rostedt <rostedt@goodmis.org>,
        Wim Van Sebroeck <wim@linux-watchdog.org>,
        Guenter Roeck <linux@roeck-us.net>,
        Jonathan Corbet <corbet@lwn.net>,
        Ingo Molnar <mingo@redhat.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Peter Zijlstra <peterz@infradead.org>,
        Will Deacon <will@kernel.org>,
        Catalin Marinas <catalin.marinas@arm.com>,
        Marco Elver <elver@google.com>,
        Dmitry Vyukov <dvyukov@google.com>,
        "Paul E. McKenney" <paulmck@kernel.org>,
        Shuah Khan <skhan@linuxfoundation.org>,
        Gabriele Paoloni <gpaoloni@redhat.com>,
        Juri Lelli <juri.lelli@redhat.com>,
        Clark Williams <williams@redhat.com>,
        linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org,
        linux-trace-devel@vger.kernel.org
Subject: Re: [PATCH V4 14/20] Documentation/rv: Add a basic documentation
Message-ID: <YrvIfPPvV7yXrpCf@debian.me>
References: <cover.1655368610.git.bristot@kernel.org>
 <575554f7bebc0278dd3dfad056d4438c2fbab7b3.1655368610.git.bristot@kernel.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <575554f7bebc0278dd3dfad056d4438c2fbab7b3.1655368610.git.bristot@kernel.org>
Precedence: bulk

On Thu, Jun 16, 2022 at 10:44:56AM +0200, Daniel Bristot de Oliveira wrote:
> +For further information about the principles of runtime verification and
> +RV applied to Linux:
> +
> +  BARTOCCI, Ezio, et al. *Introduction to runtime verification.* In: Lectures on
> +  Runtime Verification. Springer, Cham, 2018. p. 1-33.
> +
> +  FALCONE, Ylies, et al. *A taxonomy for classifying runtime verification tools.*
> +  In: International Conference on Runtime Verification. Springer, Cham, 2018. p.
> +  241-262.
> +
> +  DE OLIVEIRA, Daniel Bristot, et al. *Automata-based formal analysis and
> +  verification of the real-time Linux kernel.* Ph.D. Thesis, 2020.
> +

Shouldn't these references be formatted citations reference syntax?


> +For example::
> +
> +   [root@f32 rv]# cat available_monitors
> +   wip
> +   wwnr
> +

I think the prompt should be just `#` (without username and host).

Thanks.

-- 
An old man doll... just what I always wanted! - Clara