lkml.org 
[lkml]   [2022]   [Jun]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH V4 14/20] Documentation/rv: Add a basic documentation
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

\
 
 \ /
  Last update: 2022-06-29 05:36    [W:0.394 / U:0.684 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site