User talk:Gedeon

From Wikipedia, the free encyclopedia

Contents

[edit] Welcome to the Wikipedia

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] Talk page link in signature

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)

[edit] Wikinations

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)

[edit] About the CTL article

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