FEED Validator

Congratulations!

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.

• line 20, column 4: Misplaced Item (2 occurrences) [help]

      <item>
      ^

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>leavens@eecs.ucf.edu (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):

   <a href="http://www.feedvalidator.org/check.cgi?url=http%3A//www.eecs.ucf.edu/%7Eleavens/spec-tools-seminar/rss.xml"><img src="valid-rss-rogers.png" alt="[Valid RSS]" title="Validate my RSS feed" /></a>

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

Home · About · News · Docs · Terms