Congratulations!

[Valid RSS] This is a valid RSS feed.

Recommendations

This feed is valid, but interoperability with the widest range of feed readers could be improved by implementing the following recommendations.

Source: http://www.eecs.ucf.edu/%7Eleavens/spec-tools-seminar/rss.xml

  1. <?xml version="1.0" encoding="ISO-8859-1" ?>
  2. <?xml-stylesheet type="text/xsl" href="style/rssfeed.xsl" ?>
  3. <?xml-stylesheet type="text/css" href="style/style.css" ?>
  4. <?xml-stylesheet type="text/css" href="style/rssfeed.css" ?>
  5. <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  6.  <channel>
  7.    <!-- required channel elements -->
  8.    <title>Specification and Verification Tools Seminar News</title>
  9.    <link>http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/</link>
  10.    <description>
  11.      News about the Specification and Verification Tools Seminar at UCF
  12.    </description>
  13.    <!-- optional channel elements -->
  14.    <language>en-us</language>
  15.    <docs>http://blogs.law.harvard.edu/tech/rss</docs>
  16.    <managingEditor>[email protected] (Gary T. Leavens)</managingEditor>
  17.    <lastBuildDate>Mon, 01 Dec 2008 21:29:00 EST</lastBuildDate>
  18.  
  19.  
  20.    <item>
  21.      <title>SPARK homework</title>
  22.      <link>http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/homework/</link>
  23.      <guid>http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/homework/hw6.txt</guid>
  24.      <pubDate>Mon, 01 Dec 2008 21:28:00 EST</pubDate>
  25.      <description>
  26.        Ghaith Haddad's exercise on SPARK is now
  27.        available from the link on this news item as hw6.txt.
  28.      </description>
  29.      <source url="http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/rss.xml">
  30.        News about the Specification and Verification Seminar
  31.      </source>
  32.    </item>
  33.  
  34.    <item>
  35.      <title>Plans for the Next Seminar</title>
  36.      <link>http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/syllabus.shtml</link>
  37.      <guid>http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/syllabus.shtml</guid>
  38.      <pubDate>Thu, 20 Nov 2008 02:13:00 EST</pubDate>
  39.      <description>
  40.        At the next seminar Ghaith will lead a discussion about SPARK Ada.
  41.      </description>
  42.      <source url="http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/rss.xml">
  43.        News about the Specification and Verification Seminar
  44.      </source>
  45.    </item>
  46.  
  47.  <atom:link href="http://www.eecs.ucf.edu/~leavens/spec-tools-seminar/rss.xml"
  48.     rel="self" type="application/rss+xml" />
  49.  </channel>
  50. </rss>
  51.  

If you would like to create a banner that links to this page (i.e. this validation result), do the following:

  1. Download the "valid RSS" banner.

  2. Upload the image to your own server. (This step is important. Please do not link directly to the image on this server.)

  3. Add this HTML to your page (change the image src attribute if necessary):

If you would like to create a text link instead, here is the URL you can use:

http://www.feedvalidator.org/check.cgi?url=http%3A//www.eecs.ucf.edu/%7Eleavens/spec-tools-seminar/rss.xml

Copyright © 2002-9 Sam Ruby, Mark Pilgrim, Joseph Walton, and Phil Ringnalda