| Date | Wed, 29 Jun 2022 10:35:24 +0700 | From | Bagas Sanjaya <> | Subject | Re: [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
|