Copertina

Verifying BON models with Alloy

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Ramiro Adrian Demasi
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Universidad Nacional de La Plata 2005
Soggetti:	Computación BON Alloy Formal Methods Software Engineering Architectural Models
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A first principles calculation of Ni-16Cr and Ni-16Mo alloys
di: Ashish Pathak
Pubblicazione: (2017)

Solidification in Square Section.
di: Carlos Hernán Salinas Lira
Pubblicazione: (2001)

Evaluation of Effectiveness of Self-Adhesive Composites for Amalgam Repair with or Without Alloy Primer, in Terms of Shear Bond Strength
di: Fatma Ayse Sanal
Pubblicazione: (2020)

EFFECTS OF CO ADDITION ON THE MICROSTRUCTURE AND MORPHOLOGICAL PROPERTIES OF TIO2: MULTICOMPONENT OXIDE OF TRANSITION METALS
di: Heiddy Paola Quiroz Gaitán
Pubblicazione: (2020)

Elementary characterization of Ti metal alloys used in implant dentistry
di: Catarina Alzira Montenegro Peddis Torres
Pubblicazione: (2019)

Machine Learning Potentials for Ti-V-Ta-W Alloys (Linear ML and Kernel ML)
di: Wróbel, Jan
Pubblicazione: (2025)

Formally Verifying Noir Zero Knowledge Programs with NAVe
di: Antonino, Pedro, et al.
Pubblicazione: (2026)

FREDERICK CRACE-CALVERT
di: Jaime Wisniak
Pubblicazione: (2021)

Variability Management in a Model-Driven Software Product Line
di: Kelly Garcés
Pubblicazione: (2007)

Elastoresistance analysis of NiTi shape memory alloys – effects of small cyclic strain along the <001> austenite direction
di: Knudsen, Simon, et al.
Pubblicazione: (2026)

Propiedades magneticas en aleaciones Cu3-X AlMnX
di: R. López-Planes
Pubblicazione: (2006)

Automata Learning -- Expect Delays!
di: Dengler, Gabriel, et al.
Pubblicazione: (2025)

A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling
di: Ndadji, Milliam Maxime Zekeng, et al.
Pubblicazione: (2020)

Once and for all: how to compose modules -- The composition calculus
di: Fettke, Peter, et al.
Pubblicazione: (2024)

Configuration Monitor Synthesis
di: Köhl, Maximilian A., et al.
Pubblicazione: (2024)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
di: Fang, Yue, et al.
Pubblicazione: (2026)

Complete FSM Testing Using Strong Separability
di: Hierons, Robert M., et al.
Pubblicazione: (2025)

A Simple Trace Semantics for Asynchronous Sequence Diagrams
di: Faitelson, David, et al.
Pubblicazione: (2025)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
di: van Spaendonck, P. H. M.
Pubblicazione: (2024)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
di: Abreu, Francisco, et al.
Pubblicazione: (2025)

Contract Based Program Models for Software Model Checking
di: Amilon, Jesper, et al.
Pubblicazione: (2025)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
di: Zheng, Xinyi, et al.
Pubblicazione: (2025)

Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
di: Basile, Davide
Pubblicazione: (2025)

Disjunction Composition of BDD Transition Systems for Model-Based Testing
di: Zameni, Tannaz, et al.
Pubblicazione: (2026)

Twinning automata and regular expressions for string static analysis
di: Negrini, Luca, et al.
Pubblicazione: (2020)

On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
di: Eldin, Ali Nour, et al.
Pubblicazione: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

On the Effectiveness of Large Language Models in Writing Alloy Formulas
di: Hong, Yang, et al.
Pubblicazione: (2025)

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
di: Dantas, PIerre, et al.
Pubblicazione: (2025)

Comparative Analysis between the SPIF and DPIF Variants for Die-less Forming Process for an Automotive Workpiece
di: Adrián José Benítez Lozano
Pubblicazione: (2015)

Growth and Characterization of CdSe1−ySy Nanofilms Obtained by Chemical Bath Deposition
di: J. I. Contreras-Rascón
Pubblicazione: (2014)

Preparation and optical absorption of colloidal dispersion of Au/Cu nanoparticles
di: J. F. Sánchez
Pubblicazione: (2002)

THERMAL DESCRIPTION OF HYPOEUTECTIC AI-Si-Cu ALLOYS USING SILICON EQUIVALENCY
di: Mile Djurdjevic B.
Pubblicazione: (2012)

Metodología para el Modelado y Generación de Código de Control de Sistemas Secuenciales mediante Redes de Petri Jerárquicas
di: German Zapata M.
Pubblicazione: (2007)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
di: Lin, Yuanfei, et al.
Pubblicazione: (2023)

Study of Corrosion Behaviour of AZ91D Magnesium Alloy in Automobile Applications
di: J Sivaramapandian, et al.
Pubblicazione: (2026)

FormalRTL: Verified RTL Synthesis at Scale
di: Li, Kezhi, et al.
Pubblicazione: (2026)

Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
di: Adam, Mustafa, et al.
Pubblicazione: (2025)

Verifying QUIC implementations using Ivy
di: Crochet, Christophe, et al.
Pubblicazione: (2025)

TruncProof: A Guardrail for LLM-based JSON Generation under Token-Length Constraints
di: Kato, Yoshio, et al.
Pubblicazione: (2026)