{"id":56,"date":"2021-03-21T18:33:29","date_gmt":"2021-03-21T18:33:29","guid":{"rendered":"https:\/\/veriaal.dk\/?page_id=56"},"modified":"2025-05-05T08:25:19","modified_gmt":"2025-05-05T08:25:19","slug":"56-2","status":"publish","type":"page","link":"https:\/\/veriaal.dk\/","title":{"rendered":"Front page"},"content":{"rendered":"

[et_pb_section fb_built=”1″ fullwidth=”on” admin_label=”Page Header” _builder_version=”4.9.2″ background_enable_image=”off” global_colors_info=”{}”][et_pb_fullwidth_header text_orientation=”center” header_fullscreen=”on” header_scroll_down=”on” scroll_down_icon=”%%0%%” scroll_down_icon_color=”#464645″ scroll_down_icon_size=”48px” button_one_url=”#” button_two_url=”#” background_overlay_color=”RGBA(0,0,0,0)” admin_label=”Hero Section” _builder_version=”4.9.2″ title_font=”Montserrat|on|||” title_text_align=”right” title_text_color=”#FFFFFF” title_font_size=”60px” title_line_height=”1.4em” content_text_align=”right” content_text_color=”#FFFFFF” content_font_size=”22px” content_line_height=”1.8em” subhead_font=”||||” background_color=”#FFFFFF” background_image=”https:\/\/veriaal.dk\/wp-content\/uploads\/2021\/05\/backbone-phone2.2.png” custom_button_one=”on” button_one_text_size=”16px” button_one_text_color=”#FFFFFF” button_one_bg_color=”RGBA(0,0,0,0)” button_one_border_width=”2px” button_one_border_color=”#FFFFFF” button_one_border_radius=”0″ button_one_letter_spacing=”2″ button_one_font=”Montserrat|||on|” button_one_use_icon=”off” custom_button_two=”on” button_two_text_size=”16px” button_two_border_width=”2px” button_two_border_color=”#ffffff” button_two_border_radius=”0″ button_two_letter_spacing=”2″ button_two_font=”Montserrat|||on|” button_two_use_icon=”off” module_alignment=”left” animation_style=”fade” background_color_phone=”#FFFFFF” background_last_edited=”on|phone” background_enable_color_phone=”on” background_image_phone=”https:\/\/veriaal.dk\/wp-content\/uploads\/2021\/05\/backbone-phone2.3-1.png” background_enable_image_phone=”on” parallax_phone=”off” parallax_method_phone=”off” background_size_tablet=”cover” background_size_phone=”cover” background_position_phone=”center” background_repeat_phone=”no-repeat” background_blend_phone=”normal” border_radii_image=”off||||” button_one_text_color_hover=”#6eba01″ button_two_text_color_hover=”#6eba01″ button_one_border_color_hover=”#ffffff” button_two_border_color_hover=”#ffffff” button_one_border_radius_hover=”0″ button_two_border_radius_hover=”0″ button_one_letter_spacing_hover=”2″ button_two_letter_spacing_hover=”2″ button_one_bg_color_hover=”#ffffff” button_two_bg_color_hover=”#ffffff” global_colors_info=”{}” button_one_text_size__hover_enabled=”off” button_two_text_size__hover_enabled=”off” button_one_text_color__hover_enabled=”on|hover” button_one_text_color__hover=”#464645″ button_two_text_color__hover_enabled=”on|desktop” button_two_text_color__hover=”#464645″ button_one_border_width__hover_enabled=”off” button_two_border_width__hover_enabled=”off” button_one_border_color__hover_enabled=”on” button_one_border_color__hover=”#ffffff” button_two_border_color__hover_enabled=”on” button_two_border_color__hover=”#ffffff” button_one_border_radius__hover_enabled=”on|desktop” button_one_border_radius__hover=”0″ button_two_border_radius__hover_enabled=”on” button_two_border_radius__hover=”0″ button_one_letter_spacing__hover_enabled=”on” button_one_letter_spacing__hover=”2″ button_two_letter_spacing__hover_enabled=”on” button_two_letter_spacing__hover=”2″ button_one_bg_color__hover_enabled=”on” button_one_bg_color__hover=”#ffffff” button_two_bg_color__hover_enabled=”on” button_two_bg_color__hover=”#ffffff” background__hover_enabled=”off|desktop”][\/et_pb_fullwidth_header][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Services” module_id=”home” _builder_version=”4.9.2″ custom_padding=”90px||80px|” global_colors_info=”{}”][et_pb_row admin_label=”About” _builder_version=”4.9.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” max_width=”900px” use_custom_width=”on” custom_width_px=”900px” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.9.2″ custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_text admin_label=”About Section Text” _builder_version=”4.9.2″ text_font_size=”16px” text_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” global_colors_info=”{}”]<\/p>\n

The world-leading and internationally acclaimed model-checking tool-suite UPPAAL<\/strong> is now available for commercial use. This tool makes is possible to make the best cyber-physical systems.<\/p>\n

Check our new release of UPPAAL 5.0<\/span><\/strong><\/a> with several new and unique features, <\/a>a compact summary about this release is available in our newsletter here<\/a>.
<\/em><\/p>\n

 <\/p>\n

We will help you verify, simulate, analyze, plan and test your products
<\/strong><\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_5,1_5,1_5,1_5,1_5″ _builder_version=”4.9.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_padding=”80px|||” global_colors_info=”{}”][et_pb_column type=”1_5″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_blurb title=”Design and Simulation” use_icon=”on” font_icon=”l||divi||400″ image_icon_width=”60px” admin_label=”Design” _builder_version=”4.13.0″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”22px” header_line_height=”1.8em” body_font_size=”16px” body_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”30%” icon_font_size=”60px” global_colors_info=”{}”]<\/p>\n

Create your model in our tool and analyse its behaviour by performing simulations to explore its behaviour.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_blurb title=”Verification” use_icon=”on” font_icon=”U||divi||400″ image_icon_width=”60px” admin_label=”Analysis” _builder_version=”4.13.0″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”22px” header_line_height=”1.8em” body_font_size=”16px” body_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”30%” icon_font_size=”60px” global_colors_info=”{}”]<\/p>\n

Aks questions about your model and we will fully automatically provide answers and possible debugging information in case your properties do not hold.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_blurb title=”Performance Analysis” use_icon=”on” font_icon=”||divi||400″ image_icon_width=”60px” admin_label=”Simulation” _builder_version=”4.13.0″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”22px” header_line_height=”1.8em” body_font_size=”16px” body_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”30%” icon_font_size=”60px” global_colors_info=”{}”]<\/p>\n

We can help you to execute comprehensive performance analysis of your model before it gets employed in your product.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_blurb title=”Planning and Synthesis” use_icon=”on” font_icon=”/||divi||400″ image_icon_width=”60px” admin_label=”Synthesis” _builder_version=”4.13.0″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”22px” header_line_height=”1.8em” body_font_size=”16px” body_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”30%” icon_font_size=”60px” global_colors_info=”{}”]<\/p>\n

We can help to solve your planning problems and automatically synthesize controller with performance-optimal behaviour. <\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_5″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_blurb title=”Testing” use_icon=”on” font_icon=”||divi||400″ image_icon_width=”60px” admin_label=”Testing” _builder_version=”4.13.0″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”22px” header_line_height=”1.8em” body_font_size=”16px” body_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”30%” icon_font_size=”60px” global_colors_info=”{}”]<\/p>\n

The model of your product can be used to automatic test suite generation and integrated into your development process by performing online testing.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Split” module_id=”solution” _builder_version=”4.9.2″ custom_padding=”0px||0px|” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”4%” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ use_custom_gutter=”on” gutter_width=”1″ make_equal=”on” module_class=” et_pb_row_fullwidth” _builder_version=”4.9.2″ background_enable_image=”off” background_size=”initial” background_position=”top_left” background_repeat=”repeat” width=”100%” width_tablet=”100%” width_phone=”” width_last_edited=”on|desktop” max_width=”100%” max_width_tablet=”100%” max_width_phone=”” max_width_last_edited=”on|desktop” custom_margin=”0px||0px|” custom_padding=”0px||0px|” make_fullwidth=”on” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.9.2″ background_image=”https:\/\/veriaal.dk\/wp-content\/uploads\/2021\/03\/uppaal3.png” background_size=”contain” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.9.2″ background_color=”#f4f4f4″ background_enable_image=”off” background_position=”top_left” custom_padding=”8%|6%|8%|6%” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_divider color=”#4C55A5″ divider_weight=”3px” disabled_on=”off|off|off” _builder_version=”4.9.2″ background_color_gradient_direction=”90deg” max_width=”100px” module_alignment=”left” height=”5px” custom_margin=”||20px|” custom_padding=”||20px|” animation_style=”slide” animation_direction=”bottom” saved_tabs=”all” locked=”off” global_colors_info=”{}”][\/et_pb_divider][et_pb_cta title=”SOLUTION” button_url=”https:\/\/uppaal.veriaal.dk” url_new_window=”on” button_text=”Take me to UPPAAL” admin_label=”Feature 01″ _builder_version=”4.14.2″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”36″ header_line_height=”1.4em” body_font_size=”16″ body_line_height=”1.9em” use_background_color=”off” custom_button=”on” button_text_size=”18″ button_text_color=”#4C55A5″ button_bg_color=”RGBA(0,0,0,0)” button_border_color=”#4C55A5″ button_border_radius=”0″ button_letter_spacing=”2″ button_font=”Montserrat|||on|” button_use_icon=”off” text_orientation=”left” background_layout=”light” max_width=”450px” module_alignment=”left” custom_margin=”|||” custom_padding=”|||” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”15%” button_text_color_hover=”#6eba01″ button_border_color_hover=”#6eba01″ button_border_radius_hover=”0″ button_letter_spacing_hover=”2″ button_bg_color_hover=”rgba(0,0,0,0)” saved_tabs=”all” locked=”off” global_colors_info=”{}” button_text_size__hover_enabled=”off” button_one_text_size__hover_enabled=”off” button_two_text_size__hover_enabled=”off” button_text_color__hover_enabled=”on|desktop” button_text_color__hover=”#FFFFFF” button_one_text_color__hover_enabled=”off” button_two_text_color__hover_enabled=”off” button_border_width__hover_enabled=”off” button_one_border_width__hover_enabled=”off” button_two_border_width__hover_enabled=”off” button_border_color__hover_enabled=”on|hover” button_border_color__hover=”#4C55A5″ button_one_border_color__hover_enabled=”off” button_two_border_color__hover_enabled=”off” button_border_radius__hover_enabled=”on” button_border_radius__hover=”0″ button_one_border_radius__hover_enabled=”off” button_two_border_radius__hover_enabled=”off” button_letter_spacing__hover_enabled=”on” button_letter_spacing__hover=”2″ button_one_letter_spacing__hover_enabled=”off” button_two_letter_spacing__hover_enabled=”off” button_bg_color__hover_enabled=”on|hover” button_bg_color__hover=”#4C55A5″ button_one_bg_color__hover_enabled=”off” button_two_bg_color__hover_enabled=”off” button_bg_enable_color__hover=”on”]<\/p>\n

We offer domain-specific and tailor-made solutions on verification\/simulation\/synthesis\/testing\/planning of communication protocols, control software, planning, biological systems, etc. <\/span><\/p>\n

We have a lot of succesful case stories in our backpack. Check them out at UPPAAL in the link below.\u00a0<\/span><\/p>\n

<\/span><\/p>\n

<\/span><\/p>\n

[\/et_pb_cta][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Support” module_id=”support” _builder_version=”4.9.2″ custom_padding=”0px||0px|” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”4%” locked=”off” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_2″ use_custom_gutter=”on” gutter_width=”1″ make_equal=”on” module_class=” et_pb_row_fullwidth” _builder_version=”4.9.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” width=”100%” width_tablet=”100%” width_phone=”” width_last_edited=”on|desktop” max_width=”100%” max_width_tablet=”100%” max_width_phone=”” max_width_last_edited=”on|desktop” custom_margin=”|||” custom_padding=”0px||0px|” make_fullwidth=”on” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.9.2″ background_color=”#f4f4f4″ background_position=”top_left” custom_padding=”8%|6%|8%|16%” custom_padding_tablet=”” custom_padding_phone=”80px|10%|80px|10%” custom_padding_last_edited=”on|desktop” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_divider color=”#4C55A5″ divider_weight=”3px” disabled_on=”off|off|off” _builder_version=”4.9.2″ background_color_gradient_direction=”90deg” max_width=”100px” module_alignment=”left” height=”5px” custom_margin=”||20px|” custom_padding=”||20px|” animation_style=”slide” animation_direction=”bottom” saved_tabs=”all” locked=”off” global_colors_info=”{}”][\/et_pb_divider][et_pb_cta title=”SUPPORT” button_url=”#” admin_label=”Feature 01″ _builder_version=”4.9.2″ header_font=”Montserrat||||” header_text_color=”#4C55A5″ header_font_size=”36″ header_line_height=”1.4em” body_font_size=”16″ body_line_height=”1.9em” use_background_color=”off” custom_button=”on” button_text_size=”18″ button_text_color=”#ffffff” button_bg_color=”#6eba01″ button_border_color=”#6eba01″ button_border_radius=”0″ button_letter_spacing=”2″ button_font=”Montserrat|||on|” button_use_icon=”off” text_orientation=”left” background_layout=”light” max_width=”450px” module_alignment=”left” custom_margin=”|||” custom_padding=”|||” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”15%” button_text_color_hover=”#6eba01″ button_border_color_hover=”#6eba01″ button_border_radius_hover=”0″ button_letter_spacing_hover=”2″ button_bg_color_hover=”rgba(0,0,0,0)” saved_tabs=”all” locked=”off” global_colors_info=”{}” button_text_size__hover_enabled=”off” button_one_text_size__hover_enabled=”off” button_two_text_size__hover_enabled=”off” button_text_color__hover_enabled=”on” button_text_color__hover=”#6eba01″ button_one_text_color__hover_enabled=”off” button_two_text_color__hover_enabled=”off” button_border_width__hover_enabled=”off” button_one_border_width__hover_enabled=”off” button_two_border_width__hover_enabled=”off” button_border_color__hover_enabled=”on” button_border_color__hover=”#6eba01″ button_one_border_color__hover_enabled=”off” button_two_border_color__hover_enabled=”off” button_border_radius__hover_enabled=”on” button_border_radius__hover=”0″ button_one_border_radius__hover_enabled=”off” button_two_border_radius__hover_enabled=”off” button_letter_spacing__hover_enabled=”on” button_letter_spacing__hover=”2″ button_one_letter_spacing__hover_enabled=”off” button_two_letter_spacing__hover_enabled=”off” button_bg_color__hover_enabled=”on” button_bg_color__hover=”rgba(0,0,0,0)” button_one_bg_color__hover_enabled=”off” button_two_bg_color__hover_enabled=”off”]<\/p>\n

A quick introduction to the tool on one page is <\/span>available here<\/a>.<\/span><\/p>\n

Our online reference help is available under <\/span>web help<\/a> and our <\/span>UPPAAL 4.0 Tutorial<\/a> is available for free. The distributed package also includes examples in its demo directory.<\/span><\/p>\n

A presentation on timed automata in <\/span>UPPAAL<\/span>, semantics, query language, zones and operations on zones is <\/span>available here<\/a>. You are welcome to visit the web-page of the corresponding <\/span>tutorial at RTSS’05<\/a> if you want to know more about the techniques behind the tool.<\/span><\/p>\n

We are teaching different courses on formal methods including timed automata and UPPAAL. The presentation of one such lecture is <\/span>available here<\/a>. You are welcome to contact us if you wish to have a course.<\/span><\/p>\n

[\/et_pb_cta][\/et_pb_column][et_pb_column type=”1_2″ _builder_version=”4.9.2″ background_image=”https:\/\/veriaal.dk\/wp-content\/uploads\/2021\/03\/cfs-2.png” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ disabled_on=”off|off|off” admin_label=”Contact” module_id=”contact” _builder_version=”4.14.2″ background_enable_image=”off” parallax=”on” custom_padding=”90px||40px||false|false” hover_enabled=”0″ saved_tabs=”all” global_colors_info=”{}” sticky_enabled=”0″][et_pb_row use_custom_gutter=”on” gutter_width=”2″ make_equal=”on” _builder_version=”4.14.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_margin=”||0px||false|false” custom_padding=”|||” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″][et_pb_column type=”4_4″ _builder_version=”4.9.2″ background_color=”#ffffff” background_position=”top_left” custom_padding=”50px|40px|0px|40px|false|false” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_divider color=”#4C55A5″ divider_weight=”3px” disabled_on=”off|off|off” _builder_version=”4.9.2″ background_color_gradient_direction=”90deg” max_width=”100px” module_alignment=”center” height=”5px” custom_margin=”||20px|” custom_padding=”||20px|” animation_style=”slide” animation_direction=”bottom” saved_tabs=”all” locked=”off” global_colors_info=”{}”][\/et_pb_divider][et_pb_text admin_label=”Statistics Section Title” _builder_version=”4.9.2″ header_font=”Montserrat||||||||” header_text_color=”#4C55A5″ header_font_size=”36px” text_orientation=”center” max_width=”710px” module_alignment=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” global_colors_info=”{}”]<\/p>\n

CONTACT<\/h1>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_2,1_2″ use_custom_gutter=”on” gutter_width=”2″ make_equal=”on” disabled_on=”off|off|off” _builder_version=”4.9.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_padding=”|||” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.9.2″ background_color=”#ffffff” background_position=”top_left” custom_padding=”20px|40px|50px|40px|false|false” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_text admin_label=”Contact US Title” _builder_version=”4.9.2″ text_font_size=”16px” header_font=”Montserrat||||” header_text_color=”#1f1f1f” header_font_size=”22px” custom_padding=”0px|0px|0px|0px” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” global_colors_info=”{}”][\/et_pb_text][et_pb_text admin_label=”Contact US Text” _builder_version=”4.14.2″ text_font_size=”16px” text_line_height=”1.8em” header_font=”||||” header_text_color=”#1f1f1f” custom_margin=”20px||40px|” custom_padding=”0px|0px|0px|0px” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” global_colors_info=”{}”]<\/p>\n

If you have any questions on the tool, our license or our offer, you are more than welcome to contact us via email on sales@veriaal.dk<\/a> or on the phone +45 21648187 (Arne Skou, CEO).<\/p>\n

 <\/p>\n

We will be happy to answer any of your enquiries.<\/p>\n

Arne Skou (CEO) and Kim G. Larsen (CTO)<\/p>\n

 <\/p>\n

 <\/p>\n

[\/et_pb_text][et_pb_blurb use_icon=”on” font_icon=”||divi||400″ icon_color=”#4C55A5″ icon_placement=”left” image_icon_width=”28px” image_icon_width_last_edited=”off|desktop” admin_label=”Address” _builder_version=”4.13.0″ body_font_size=”16px” custom_margin=”|||” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” icon_font_size=”28px” icon_font_size_last_edited=”off|desktop” global_colors_info=”{}”]<\/p>\n

Elisabethsvej 8, 9520 Sk\u00f8rping<\/span><\/p>\n

[\/et_pb_blurb][et_pb_blurb use_icon=”on” font_icon=”||divi||400″ icon_color=”#4C55A5″ icon_placement=”left” image_icon_width=”28px” image_icon_width_last_edited=”off|desktop” admin_label=”Email” _builder_version=”4.13.0″ body_font_size=”16px” custom_margin=”|||” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” icon_font_size=”28px” icon_font_size_last_edited=”off|desktop” global_colors_info=”{}”]<\/p>\n

sales@veriaal.dk<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column _builder_version=”4.14.2″ _module_preset=”default” type=”1_2″][et_pb_image src=”https:\/\/veriaal.dk\/wp-content\/uploads\/2025\/05\/ArneJoachimSkou.jpg” _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content”][\/et_pb_image][et_pb_image src=”https:\/\/veriaal.dk\/wp-content\/uploads\/2025\/05\/KimGuldstrandLarsen.jpg” _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content” hover_enabled=”0″ sticky_enabled=”0″][\/et_pb_image][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”About” module_id=”about” _builder_version=”4.9.2″ background_color=”#BCB832″ custom_padding=”90px||90px|” global_colors_info=”{}”][et_pb_row _builder_version=”4.9.2″ background_size=”initial” background_position=”top_left” background_repeat=”repeat” custom_width_px=”710px” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”3.25″ background_position=”top_left” custom_padding=”|||” global_colors_info=”{}” custom_padding__hover=”|||”][et_pb_text admin_label=”Statistics Section Title” _builder_version=”4.9.2″ text_text_color=”#464645″ header_font=”Montserrat||||” header_text_color=”#464645″ header_font_size=”36px” text_orientation=”center” max_width=”710px” module_alignment=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” global_colors_info=”{}”]<\/p>\n

ABOUT<\/h1>\n

[\/et_pb_text][et_pb_text admin_label=”Statistics Section Subtitle” _builder_version=”4.9.2″ text_text_color=”#464645″ text_font_size=”16px” text_line_height=”1.9em” background_size=”initial” background_position=”top_left” background_repeat=”repeat” text_orientation=”center” max_width=”710px” module_alignment=”center” animation_style=”fold” animation_direction=”bottom” animation_intensity_fold=”20%” global_colors_info=”{}”]<\/p>\n

<\/span>Founded<\/span> in 2019, VeriAal<\/strong> offers commercial use of the UPPAAL<\/strong> tool-suite and also world-class consultancy services on how to exploit UPPAAL<\/strong>. These services range from guiding you in solving a problem, to partially or completely undertaking your modelling process.<\/span><\/span><\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ theme_builder_area=”post_content” _builder_version=”4.14.2″ _module_preset=”default”][et_pb_row _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content”][et_pb_column _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content” type=”4_4″][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ theme_builder_area=”post_content” _builder_version=”4.14.2″ _module_preset=”default”][et_pb_row _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content”][et_pb_column _builder_version=”4.14.2″ _module_preset=”default” theme_builder_area=”post_content” type=”4_4″][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

The world-leading and internationally acclaimed model-checking tool-suite UPPAAL is now available for commercial use. This tool makes is possible to make the best cyber-physical systems. Check our new release of UPPAAL 5.0 with several new and unique features, a compact summary about this release is available in our newsletter here.   We will help you […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"class_list":["post-56","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":167,"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":540,"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/pages\/56\/revisions\/540"}],"wp:attachment":[{"href":"https:\/\/veriaal.dk\/index.php\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}