<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
  xmlns:xhtml="http://www.w3.org/1999/xhtml">
  <url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-8-2-now-available-maintenance/</loc>
    <lastmod>2026-02-17T16:57:13+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-1-0-now-available-new-feature/</loc>
    <lastmod>2025-07-28T15:03:10+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/lieferanten/</loc>
    <lastmod>2025-06-23T12:45:43+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-0-6-now-available-maintenance/</loc>
    <lastmod>2025-01-29T10:32:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-2.0.0-now-available-new-features/</loc>
    <lastmod>2025-01-09T13:44:10+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-0-5-now-available-maintenance/</loc>
    <lastmod>2024-06-25T14:51:07+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/warning-major-bug-in-rtt-v-7.0.4-2025-04-29-warn-01/</loc>
    <lastmod>2024-06-11T17:58:07+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7.0.4-now-available-maintenance/</loc>
    <lastmod>2024-01-29T16:44:49+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7.0.3-now-available-maintenance/</loc>
    <lastmod>2023-08-07T15:49:40+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.10-now-available-bugfix/</loc>
    <lastmod>2023-07-10T06:43:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-0-2-now-available-maintenance/</loc>
    <lastmod>2023-04-04T08:46:26+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.9-now-available-new-feature/</loc>
    <lastmod>2023-07-10T06:43:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-0-1-now-available-maintenance/</loc>
    <lastmod>2022-10-19T12:57:18+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-7-0-0-now-available-new-feature/</loc>
    <lastmod>2022-04-01T14:01:44+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.8-now-available-new-feature/</loc>
    <lastmod>2022-03-18T09:15:07+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-6-1-now-available-new-feature/</loc>
    <lastmod>2022-01-21T18:06:00+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.7-now-available-new-feature/</loc>
    <lastmod>2021-12-08T09:21:06+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-6-0-now-available-new-feature/</loc>
    <lastmod>2021-11-23T13:45:07+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/tms/</loc>
    <lastmod>2021-11-13T18:16:17+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-6-3-bugfix-now-available/</loc>
    <lastmod>2021-11-13T18:16:17+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-8-1-now-available-maintenance/</loc>
    <lastmod>2021-09-14T15:57:40+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-6-2-bugfix-now-available/</loc>
    <lastmod>2021-08-23T08:43:51+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-6-3-now-available-maintenance/</loc>
    <lastmod>2021-07-20T14:32:53+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.6-now-available-new-feature/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9.5.3-now-available-new-feature/</loc>
    <lastmod>2021-06-25T09:50:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-6-1-bugfix-now-available/</loc>
    <lastmod>2021-06-14T09:25:30+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-6-0-now-available/</loc>
    <lastmod>2021-05-04T14:11:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.5-now-available-new-feature/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9.5.2-now-available-new-feature/</loc>
    <lastmod>2021-05-04T14:11:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-6-2-now-available-maintenance/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.4-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-8-0-now-available-new-feature/</loc>
    <lastmod>2021-02-24T14:56:12+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-5-3-now-available/</loc>
    <lastmod>2021-02-16T14:02:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.3-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-5-2-now-available/</loc>
    <lastmod>2021-02-16T14:02:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-5-1-now-available/</loc>
    <lastmod>2021-02-16T14:02:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.2-now-available-maintenance/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.1-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-6-1-now-available-maintenance/</loc>
    <lastmod>2020-11-25T11:16:35+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.6.0-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-5.1-now-available-new-feature/</loc>
    <lastmod>2020-10-20T22:41:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.5.3-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.5.2.1-now-available-hubcap/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.5.1-now-available-new-features/</loc>
    <lastmod>2021-08-27T17:33:08+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-7-2-now-available-maintenance/</loc>
    <lastmod>2020-07-27T10:36:01+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.5.0.1-now-available-hotfix/</loc>
    <lastmod>2020-07-22T14:42:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-plugin/rtt-plugin-1.5.0-now-available-new-feature/</loc>
    <lastmod>2020-07-22T14:42:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-5-now-available-new-feature/</loc>
    <lastmod>2020-07-22T14:42:37+02:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-6-0-now-available-new-feature/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/</loc>
    <lastmod>2021-08-27T17:47:21+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url><url>
    <loc>https://www.verified.de/releases/</loc>
    <lastmod>2021-08-27T17:47:21+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url><url>
    <loc>https://www.verified.de/support/</loc>
    <lastmod>2020-11-10T13:42:28+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/support/releases/</loc>
    <lastmod>2021-08-30T12:16:59+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/services/</loc>
    <lastmod>2020-01-24T15:30:19+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-5-4-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-5-3-now-available-maintenance/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-5-2-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-5-1-now-available-maintenance/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-5-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/rt-tester-tms-test-management-server-2-5-0-now-available/</loc>
    <lastmod>2021-02-16T14:02:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-7-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-4-2-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-2-1-0-1-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-mbt/rtt-mbt-9-2-1-0-0-now-available/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-7-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-4-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-4-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-6-2-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-3-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-6-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-3-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-2-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-6-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2015/presentation-at-space-tech-expo-europe-bremen/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-2-0-now-available-new-feature/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2015/eu-innovation-radar-price-runner-up-trophy-for-verified-systems-international/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rtt-sto/do-178c-tool-qualification-for-rtt-sto-1-0-1-0-3-now-available/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2015/nomination-for-eu-innovation-radar-prize-2015/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-1-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-1-0-now-available-new-feature/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/papers-2011/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/testing-on-target-concepts-and-experiences-iqnite-2010/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-5-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-5-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2014/rt-tester-bounded-model-checker-verifies-interlocking-system-components/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2014/rt-testers-model-based-testing-component-rtt-mbt-creates-test-data-for-the-etcs-onboard-controller/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-0-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-4-3-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-6-0-0-now-available-new-feature/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rttui/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rttui-3-7-1-now-available/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-4-2-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-4-1-now-available-maintenance/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rttui-3-7-0-now-available/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/tms/tmsrttui-release-3-6-1-3-6-5/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/rt-tester/rt-tester-6-0-4-9-7-now-available-rt-tester-advisory-00001/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-4-0-now-available-new-feature/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2013/verification-systems-synchronous-software-components/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2013/industrial-strength-model-based-testing-state-of-the-art-and-current-challenges/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-3-0-now-available-new-feature-ccbm-advisory-00004/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/runtime-verification-of-microcontroller-binary-code-2/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/efficient-and-trustworthy-tool-qualification-for-model-based-testing-tools/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/real-time-runtime-verification-on-chip/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/arcadeplc-a-verification-platform-for-programmable-logic-controllers/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/access-based-localization-for-octagons/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/abstract-interpretation-of-microcontroller-code-intervals-meet-congruences/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-2-2-now-available-maintenance-ccbm-advisory-0003/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/benchmark-analysis-of-gtl-backends-using-client-server-mutex/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/warning-major-bug-in-ccbm-5-2-0-ccbm-advisory-00002/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/releases/ccbm/ccbm-5-2-0-now-available-new-feature-ccbm-advisory-00001/</loc>
    <lastmod>2021-11-02T18:37:19+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/loop-leaping-with-closures/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/publications/papers-2012/transfer-function-synthesis-without-quantifier-elimination/</loc>
    <lastmod>2020-02-24T18:12:02+01:00</lastmod>
    <changefreq>never</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/products/code-coverage-branch-monitor/</loc>
    <lastmod>2024-03-14T13:02:00+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/company/</loc>
    <lastmod>2024-05-24T11:46:06+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/products/</loc>
    <lastmod>2024-05-24T11:46:06+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/contact/</loc>
    <lastmod>2024-08-05T16:50:24+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/company/corporate-information/</loc>
    <lastmod>2025-11-05T10:30:54+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/datenschutz/</loc>
    <lastmod>2024-08-05T16:09:40+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/company/expertise/</loc>
    <lastmod>2020-01-28T15:56:42+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/company/innovation/</loc>
    <lastmod>2022-03-31T17:42:21+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/legal/</loc>
    <lastmod>2025-12-22T20:34:14+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/company/partners/</loc>
    <lastmod>2021-08-27T10:47:42+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/privacy/</loc>
    <lastmod>2024-08-05T16:21:44+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/</loc>
    <lastmod>2021-08-27T17:47:21+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/papers-2012/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/papers-2013/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/papers-2014/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/publications/papers-2015/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/quality-policy/</loc>
    <lastmod>2025-04-07T11:58:42+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/company/reference-projects/</loc>
    <lastmod>2020-02-17T16:09:03+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/</loc>
    <lastmod>2024-05-24T11:46:06+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/ccbm/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rt-tester/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rtt-mbt/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rtt-plugin/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rtt-sto/</loc>
    <lastmod>2023-05-30T18:08:33+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/products/rt-tester/</loc>
    <lastmod>2024-03-14T13:02:00+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/category/releases/rtt-dcc/</loc>
    <lastmod>2020-01-28T16:41:40+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url><url>
    <loc>https://www.verified.de/products/rtt-dcc/</loc>
    <lastmod>2020-04-02T17:30:44+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/products/model-based-testing/rtt-mbt-frequently-asked-questions/</loc>
    <lastmod>2020-01-24T15:30:19+01:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/products/model-based-testing/</loc>
    <lastmod>2020-04-02T17:30:44+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/products/rtt-sto/</loc>
    <lastmod>2020-04-02T17:30:44+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/products/test-engines/</loc>
    <lastmod>2024-05-24T11:44:13+02:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.75</priority>
  </url><url>
    <loc>https://www.verified.de/</loc>
    <lastmod>2020-02-17T16:09:03+01:00</lastmod>
    <changefreq>yearly</changefreq>
    <priority>1</priority>
  </url>
</urlset>
