Here are some links I thought useful:

Feel free to ask me anything the links and talk pages don't answer. You can sign your name by typing 4 tildes, likes this: ~~~~.

Be Bold!

Sam [Spade] 18:50, 18 Jul 2004 (UTC)

edit

If you go to "Preferences", there should be an option in "User data" that says "Your nickname (for signatures)". There, you can enter your signature, in my case including a link to my talk page. HTH. Best, [[User:Meelar|Meelar (talk)]] 21:52, 18 Jul 2004 (UTC)

Wikinations

edit

Hello Gaëtan! You are Belgian and you like to contribute to Wikipedia, like me ? Then you may like to contribute to Wikinations.be too: it is a wiki site that collaboratively builds a practical encyclopedia of Belgium (in French for the moment). I just started this project, and I thought that you might be interested. So, see you soon over there ? (Sorry for the disturbance if you are not interested) Pcarbonn 09:18, 11 Nov 2004 (UTC)

About the CTL article

edit

Salut Gaetan ! Bon je vais continuer en anglais car cette page est publique...

Thanks for creating the CTL article!! I see there has not been much consolidation done recently, and I am willing to help with that. Temporal logic is one of my (professional) research topics and I believe Wikipedia definitely needs a CTL entry. What are your plans for going on with this page?

I faced the problem of explaining CTL to non-experts when writing on temporal logics and model checking for the book Verification de logiciels : techniques et outils du model-checking. Here are some suggestions that come to mind regarding the Wikipedia article.

  1. Rephrase the opening paragraph. No need to focus on synctactic issues here. Should be readable for people outside logic or computer science.
  2. Describe the syntax in a more informal and narrative way. Use illustrative examples.
  3. Have a short section on CTL model checking. Do not describe algorithms. Simply state the main result and explain that CTL is popular because of these results. Name tools like SMV. Plus a bit of history of model checking.
  4. Have a short section on expressive power of CTL. Explain and illustrate what can be written in CTL, discuss limitations.

I believe the really technical details should not be found in the article, only in the references and links it gives.

What do you think? PhS

CTL

edit

Hej Gaetan,

thanks for your effort of adding CTL to the Wikipedia.

I'm writing to you because I noticed that you use 'Computational Tree Logic' while CTL is in fact called 'Computation Tree Logic'. I already corrected this in the article, and also put a comment on the talks page.

Right now I'm trying to figure out how to change the name of the page itself. It really should be 'Computation Tree Logic'.

I will see what I can do to improve the CTL article.

Cweise (talk) 12:47, 9 September 2008 (UTC)Reply

Your account will be renamed

edit

00:08, 20 March 2015 (UTC)