{"id":632,"date":"2025-12-19T15:40:18","date_gmt":"2025-12-19T15:40:18","guid":{"rendered":"https:\/\/azetaservice.it\/?page_id=632"},"modified":"2025-12-23T11:09:10","modified_gmt":"2025-12-23T11:09:10","slug":"ricerca-e-sviluppo","status":"publish","type":"page","link":"https:\/\/azetaservice.it\/index.php\/ricerca-e-sviluppo\/","title":{"rendered":"Ricerca e Sviluppo"},"content":{"rendered":"

[et_pb_section fb_built=”1″ admin_label=”Header” _builder_version=”4.27.5″ _module_preset=”default” background_color=”#0a3d49″ background_image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/computer_banner_Ricerca_e_Sviluppo.jpg” min_height=”444.7px” custom_margin=”||-22px||false|false” custom_padding=”||60px||false|false” locked=”off” global_colors_info=”{}”][et_pb_row _builder_version=”4.24.2″ _module_preset=”default” width=”55%” max_width=”70%” custom_margin=”||0px||false|false” custom_padding=”14px|||||” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.24.2″ _module_preset=”c4ce2210-b1ce-439b-84ed-0d48741a8fdf” header_font=”Barlow Condensed|500|||||||” header_text_color=”#d6da50″ header_font_size=”70px” header_line_height=”1.1em” text_orientation=”center” custom_margin=”||||false|false” header_font_size_tablet=”60px” header_font_size_phone=”50px” header_font_size_last_edited=”on|desktop” locked=”off” global_colors_info=”{}”]<\/p>\n

\"\"
Ricerca e Sviluppo<\/h1>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ disabled_on=”on|on|off” admin_label=”Box per visualizzazione PC” _builder_version=”4.27.5″ _module_preset=”default” background_color=”#0a3d49″ background_image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/sfondo_IA.jpg” parallax=”on” custom_margin=”24px|||||” custom_padding=”0px||||false|false” locked=”off” global_colors_info=”{}”][et_pb_row custom_padding_last_edited=”on|tablet” _builder_version=”4.27.5″ _module_preset=”default” background_enable_color=”off” min_height=”290.1px” custom_margin=”-5px|auto|-42px|auto|false|false” custom_padding=”15px|0px|0px||false|false” custom_padding_tablet=”0px|0px|||false|false” custom_padding_phone=”2px|0px|2px||false|false” animation_style=”zoom” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.27.5″ _module_preset=”default” custom_padding=”96px|30%|6vw|60px|false|false” custom_padding_tablet=”|30px||30px|true|true” custom_padding_phone=”76px|20px|76px|20px|true|true” custom_padding_last_edited=”on|phone” border_color_all=”#d6da50″ border_width_left=”0px” global_colors_info=”{}”][et_pb_text admin_label=”Metodi Formali e Intelligenza Artificiale” _builder_version=”4.27.5″ _module_preset=”df96b77a-cd4f-44a8-a771-2d6347592b53″ text_font_size=”12px” header_2_font=”Barlow Condensed||||||||” header_2_text_color=”#FFFFFF” header_2_font_size=”37px” header_2_line_height=”1.1em” custom_margin=”||16px||false|false” header_2_font_size_tablet=”32px” header_2_font_size_phone=”26px” header_2_font_size_last_edited=”on|desktop” locked=”off” global_colors_info=”{}”]<\/p>\n

Metodi Formali e Intelligenza Artificiale<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”4.16″ _module_preset=”default” custom_margin=”||||false|false” global_colors_info=”{}”][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/cubo_IA.png” title_text=”cubo_IA” _builder_version=”4.27.5″ _module_preset=”default” width=”100%” width_tablet=”100%” width_phone=”100%” width_last_edited=”on|tablet” max_width=”93%” max_width_tablet=”56%” max_width_phone=”69%” max_width_last_edited=”on|phone” module_alignment=”center” animation_style=”fold” module_alignment_tablet=”center” module_alignment_phone=”” module_alignment_last_edited=”on|tablet” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_blurb title=”La Teoria” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-50.png” icon_alignment=”left” content_max_width=”100%” admin_label=”La Teoria” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-6vw||20%||false|false” custom_margin_tablet=”0vw||30px||false|false” custom_margin_phone=”0vw||30px||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|phone” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

I metodi formali sono tecniche matematicamente rigorose per lo sviluppo e la verifica di sistemi.<\/p>\n

Recentemente l\u2019utilizzo congiunto di intelligenza artificiale (AI) e dei metodi formali sta aprendo nuove frontiere, dalla dimostrazione automatica di teoremi matematici alla verifica di sistemi ingegneristici su larga scala.<\/p>\n

Utilizzare i metodi formali nelle varie fasi di sviluppo e di verifica assicura la massima qualit\u00e0 e validit\u00e0 del sistema, mentre l\u2019utilizzo dell\u2019AI velocizza il processo di creazione dei test.<\/p>\n

[\/et_pb_blurb][et_pb_blurb title=”Le finalit\u00e0” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-64-copia.png” icon_alignment=”left” content_max_width=”100%” admin_label=”Le finalit\u00e0” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-31px||20%||false|false” custom_margin_tablet=”||0%||false|false” custom_margin_phone=”||0%||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|desktop” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

La nostra esperienza ci ha consentito di sperimentare con successo l\u2019utilizzo combinato di Metodi Formali e Intelligenza Artificiale per sviluppare Server e tool MCP personalizzati che consentono ai modelli AI fine-tuned di interagire direttamente con i sistemi esistenti.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_blurb title=”L\u2019applicazione” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-501.png” icon_alignment=”left” content_max_width=”100%” admin_label=”L\u2019applicazione” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-1vw||20%||false|false” custom_margin_tablet=”0vw||30px||false|false” custom_margin_phone=”0vw||7%||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|desktop” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

Nella fase di verifica, l\u2019intelligenza artificiale permette di creare test basandosi sui requisiti formali e una documentazione tecnica attraverso Retrieval-Augmented Generation (RAG), e di interagire direttamente con strumenti di verifica formale, come SAT solver (Boolean Satisfiability Problem) sfruttando l’architettura Model Context Protocol (MCP) e analizzare edge cases che potrebbero altrimenti sfuggire ad un\u2019analisi manuale.<\/p>\n

Nella fase di sviluppo, i modelli AI specializzati propongono implementazioni gi\u00e0 conformi alle specifiche formali, riducono drasticamente i cicli di correzione-verifica, e adattano automaticamente il codice a requisiti mutevoli mantenendo le garanzie di correttezza.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ disabled_on=”off|off|on” admin_label=”Box per visualizzazione Smartphone” _builder_version=”4.27.5″ _module_preset=”default” background_color=”#0a3d49″ background_image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/sfondo_IA.jpg” parallax=”on” custom_margin=”24px|||||” custom_padding=”0px||||false|false” locked=”off” global_colors_info=”{}”][et_pb_row custom_padding_last_edited=”on|tablet” _builder_version=”4.27.5″ _module_preset=”default” background_enable_color=”off” min_height=”290.1px” custom_margin=”-5px|auto|-42px|auto|false|false” custom_padding=”15px|0px|0px||false|false” custom_padding_tablet=”0px|0px|||false|false” custom_padding_phone=”2px|0px|2px||false|false” animation_style=”zoom” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.27.5″ _module_preset=”default” custom_padding=”96px|30%|6vw|60px|false|false” custom_padding_tablet=”|30px||30px|true|true” custom_padding_phone=”76px|20px|76px|20px|true|true” custom_padding_last_edited=”on|phone” border_color_all=”#d6da50″ border_width_left=”0px” global_colors_info=”{}”][et_pb_text admin_label=”Metodi Formali e Intelligenza Artificiale” _builder_version=”4.27.5″ _module_preset=”df96b77a-cd4f-44a8-a771-2d6347592b53″ text_font_size=”12px” header_2_font=”Barlow Condensed||||||||” header_2_text_color=”#FFFFFF” header_2_font_size=”37px” header_2_line_height=”1.1em” custom_margin=”||16px||false|false” header_2_font_size_tablet=”32px” header_2_font_size_phone=”26px” header_2_font_size_last_edited=”on|desktop” locked=”off” global_colors_info=”{}”]<\/p>\n

Metodi Formali e Intelligenza Artificiale<\/h2>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row column_structure=”1_3,1_3,1_3″ _builder_version=”4.16″ _module_preset=”default” custom_margin=”||||false|false” global_colors_info=”{}”][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/cubo_IA.png” title_text=”cubo_IA” _builder_version=”4.27.5″ _module_preset=”default” width=”100%” width_tablet=”100%” width_phone=”100%” width_last_edited=”on|tablet” max_width=”93%” max_width_tablet=”56%” max_width_phone=”69%” max_width_last_edited=”on|phone” module_alignment=”center” animation_style=”fold” module_alignment_tablet=”center” module_alignment_phone=”” module_alignment_last_edited=”on|tablet” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_blurb title=”La Teoria” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-50.png” icon_alignment=”left” content_max_width=”100%” admin_label=”La Teoria” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-6vw||20%||false|false” custom_margin_tablet=”0vw||30px||false|false” custom_margin_phone=”0vw||30px||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|phone” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

I metodi formali sono tecniche matematicamente rigorose per lo sviluppo e la verifica di sistemi.<\/p>\n

Recentemente l\u2019utilizzo congiunto di intelligenza artificiale (AI) e dei metodi formali sta aprendo nuove frontiere, dalla dimostrazione automatica di teoremi matematici alla verifica di sistemi ingegneristici su larga scala.<\/p>\n

Utilizzare i metodi formali nelle varie fasi di sviluppo e di verifica assicura la massima qualit\u00e0 e validit\u00e0 del sistema, mentre l\u2019utilizzo dell\u2019AI velocizza il processo di creazione dei test.<\/p>\n

[\/et_pb_blurb][et_pb_blurb title=”L\u2019applicazione” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-501.png” icon_alignment=”left” content_max_width=”100%” admin_label=”L\u2019applicazione” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-1vw||20%||false|false” custom_margin_tablet=”0vw||30px||false|false” custom_margin_phone=”0vw||7%||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|desktop” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

Nella fase di verifica, l\u2019intelligenza artificiale permette di creare test basandosi sui requisiti formali e una documentazione tecnica attraverso Retrieval-Augmented Generation (RAG), e di interagire direttamente con strumenti di verifica formale, come SAT solver (Boolean Satisfiability Problem) sfruttando l’architettura Model Context Protocol (MCP) e analizzare edge cases che potrebbero altrimenti sfuggire ad un\u2019analisi manuale.<\/p>\n

Nella fase di sviluppo, i modelli AI specializzati propongono implementazioni gi\u00e0 conformi alle specifiche formali, riducono drasticamente i cicli di correzione-verifica, e adattano automaticamente il codice a requisiti mutevoli mantenendo le garanzie di correttezza.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][et_pb_column type=”1_3″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_blurb title=”Le finalit\u00e0” image=”https:\/\/azetaservice.it\/wp-content\/uploads\/2025\/12\/icons8-intelligenza-artificiale-64-copia.png” icon_alignment=”left” content_max_width=”100%” admin_label=”Le finalit\u00e0” _builder_version=”4.27.5″ _module_preset=”58e41a12-d2dc-4bc3-82a3-e7e2a77a32bd” header_font=”Barlow Condensed|||on|||||” header_text_color=”#d6da50″ header_font_size=”24px” header_line_height=”1.3em” body_font=”|600|||||||” body_text_color=”#FFFFFF” body_font_size=”16px” body_line_height=”1.8em” background_color=”#125359″ background_enable_image=”off” custom_margin=”-31px||20%||false|false” custom_margin_tablet=”||0%||false|false” custom_margin_phone=”||0%||false|false” custom_margin_last_edited=”on|tablet” custom_padding=”30px|20px|30px|20px|true|true” animation_style=”fold” animation=”off” header_font_size_tablet=”18px” header_font_size_phone=”20px” header_font_size_last_edited=”on|desktop” body_font_size_tablet=”” body_font_size_phone=”16px” body_font_size_last_edited=”on|desktop” border_width_all=”1px” border_color_all=”#d6da50″ box_shadow_style=”preset3″ box_shadow_vertical=”40px” box_shadow_blur=”60px” box_shadow_spread=”-10px” box_shadow_color=”rgba(0,0,0,0.1)” locked=”off” global_colors_info=”{}” background__hover_enabled=”on|hover” background_enable_image__hover=”off” background_image__hover=”” child_filter_brightness__hover=”200%” child_filter_brightness__hover_enabled=”on|desktop” header_text_color__hover=”#FFFFFF” header_text_color__hover_enabled=”on|hover” body_text_color__hover=”#FFFFFF” body_text_color__hover_enabled=”on|hover”]<\/p>\n

La nostra esperienza ci ha consentito di sperimentare con successo l\u2019utilizzo combinato di Metodi Formali e Intelligenza Artificiale per sviluppare Server e tool MCP personalizzati che consentono ai modelli AI fine-tuned di interagire direttamente con i sistemi esistenti.<\/p>\n

[\/et_pb_blurb][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ admin_label=”Footer” _builder_version=”4.24.0″ _module_preset=”default” background_color=”#0a3d49″ custom_padding=”3px||9px|||” border_color_top=”RGBA(255,255,255,0)” border_color_bottom=”RGBA(255,255,255,0)” saved_tabs=”all” global_colors_info=”{}”][et_pb_row column_structure=”1_2,1_4,1_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_column type=”1_2″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_image src=”https:\/\/azetaservice.it\/wp-content\/uploads\/2024\/03\/logo_footer.png” _builder_version=”4.25.0″ _module_preset=”default” width=”63%” max_width=”60%” custom_margin=”||0px||false|false” global_colors_info=”{}”][\/et_pb_image][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.24.2″ _module_preset=”534cc526-6274-4e31-9e1a-7f18a5947bf1″ text_text_color=”#d6da50″ header_4_font=”Archivo|600||on|||||” header_4_text_color=”#d6da50″ header_4_font_size=”13px” header_4_letter_spacing=”1px” header_4_line_height=”1.5em” custom_margin=”||0px||false|false” header_4_font_size_tablet=”” header_4_font_size_phone=”” header_4_font_size_last_edited=”on|desktop” global_colors_info=”{}”]<\/p>\n

Societ\u00e0<\/h4>\n

[\/et_pb_text][et_pb_text _builder_version=”4.24.2″ _module_preset=”5ff55506-da7d-4dd7-b409-9d62c7203201″ text_font=”Archivo||||||||” text_text_color=”#d6da50″ text_font_size=”16px” text_line_height=”1.8em” link_text_color=”#FFFFFF” text_font_size_tablet=”15px” text_font_size_phone=”14px” text_font_size_last_edited=”on|phone” header_font_size_tablet=”55px” header_font_size_last_edited=”off|desktop” locked=”off” global_colors_info=”{}” link_text_color__hover_enabled=”on|desktop” link_text_color__hover=”#3C5BFF”]<\/p>\n

AZ Service s.r.l.
P.IVA 06925831007<\/p>\n

[\/et_pb_text][et_pb_text admin_label=”Privacy” _builder_version=”4.27.4″ _module_preset=”5ff55506-da7d-4dd7-b409-9d62c7203201″ text_font=”Archivo||||||||” text_text_color=”#d6da50″ text_font_size=”16px” text_line_height=”1.8em” link_text_color=”#FFFFFF” link_option_url=”https:\/\/azetaservice.it\/index.php\/attivita\/informativa-privacy\/” text_font_size_tablet=”15px” text_font_size_phone=”14px” text_font_size_last_edited=”on|phone” header_font_size_tablet=”55px” header_font_size_last_edited=”off|desktop” locked=”off” global_colors_info=”{}” link_text_color__hover_enabled=”on|desktop” link_text_color__hover=”#3C5BFF”]<\/p>\n

INFORMATIVA PRIVACY<\/p>\n

[\/et_pb_text][\/et_pb_column][et_pb_column type=”1_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.24.0″ _module_preset=”534cc526-6274-4e31-9e1a-7f18a5947bf1″ header_4_font=”Archivo|600||on|||||” header_4_text_color=”#d6da50″ header_4_font_size=”13px” header_4_letter_spacing=”1px” header_4_line_height=”1.5em” custom_margin=”||0px||false|false” header_4_font_size_tablet=”” header_4_font_size_phone=”” header_4_font_size_last_edited=”on|desktop” locked=”off” global_colors_info=”{}”]<\/p>\n

Contatti<\/h4>\n

[\/et_pb_text][et_pb_text _builder_version=”4.24.0″ _module_preset=”5ff55506-da7d-4dd7-b409-9d62c7203201″ text_font=”Archivo||||||||” text_text_color=”#d6da50″ text_font_size=”16px” text_line_height=”1.8em” link_text_color=”#FFFFFF” text_font_size_tablet=”15px” text_font_size_phone=”14px” text_font_size_last_edited=”on|phone” header_font_size_tablet=”55px” header_font_size_last_edited=”off|desktop” locked=”off” global_colors_info=”{}” link_text_color__hover_enabled=”on|desktop” link_text_color__hover=”#3C5BFF”]<\/p>\n

info@azetaservice.it<\/a><\/p>\n

Tel. +39 06 89687064 r.a.<\/p>\n

Via Giulio Vincenzo Bona 133 – 00156 Roma<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

La Teoria \u2022 I metodi formali sono tecniche matematicamente rigorose per lo sviluppo e la verifica di sistemi.
\nRecentemente l\u2019utilizzo congiunto di intelligenza artificiale (AI) e dei metodi…<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","_themeisle_gutenberg_block_has_review":false,"footnotes":""},"class_list":["post-632","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/pages\/632","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/comments?post=632"}],"version-history":[{"count":28,"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/pages\/632\/revisions"}],"predecessor-version":[{"id":741,"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/pages\/632\/revisions\/741"}],"wp:attachment":[{"href":"https:\/\/azetaservice.it\/index.php\/wp-json\/wp\/v2\/media?parent=632"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}