Copertina

Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Edgar Darío Ramírez-de León
Natura:	Artículo científico
Lingua:	es
Pubblicazione:	Universidad Nacional Autónoma de México 2014
Soggetti:	Ingeniería JML XML Java Full Static Static Checking
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Precision and accuracy of the static GNSS method for surveying networks used in Civil Engineering
di: Nixon A. Correa-Muños
Pubblicazione: (2018)

Effect of turbulent gas–liquid contact in a static mixer on Cryptosporidium parvum oocyst inactivation by ozone
di: Craik, S., Smith, D., Chandrakanth, M., Belosevic, M
Pubblicazione: (2003)

Drag coefficients of lattice towers with VHF antennas on wind tunnel
di: P. Martín
Pubblicazione: (2019)

Low-speed vehicle impact against building structures: a review of relevant codes
di: B Ferrer
Pubblicazione: (2010)

Shear and longitudinal modulus of elasticity in wood: relations based on static bending tests
di: Francisco Antonio Rocco Lahr
Pubblicazione: (2017)

Prediction of the Static Modulus of Elasticity Using Four non Destructive Testing
di: Hugo Luis Chávez-García
Pubblicazione: (2014)

Three-axis air-bearing based platform for small satellite attitude determination and control simulation
di: J. Prado
Pubblicazione: (2005)

Free surface deformation of a non cohesive granular material in a box under uniform acceleration
di: C. A. Vargas,
Pubblicazione: (2013)

Number of repetition after different rest intervals between static stretching and resistance training
di: H. Dias
Pubblicazione: (2017)

Robust control by extended static output feedback
di: Addison Ríos Bolívar
Pubblicazione: (2011)

Use of the dynamic load test to obtain the pile capacity - the Brazilian experience
di: Tiago de Jesus Souza
Pubblicazione: (2021)

Sociocultural Commitment of Cognitive Linguistics via dimensions of context
di: Nikolay N. Boldyrev
Pubblicazione: (2016)

Effects of using static and flexible budgets on process and product innovation
di: Silvana Mannes
Pubblicazione: (2021)

DYNAMIC AND STATIC NETWORKING: MAIN IDEAS AND NATURE, SPECIFICS IN A COUNTRY WITH EMERGING MARKETS
di: Sergey Valdaytsev
Pubblicazione: (2013)

1. A New Model of Time
di: Blaise, Gary
Pubblicazione: (2026)

Analysis of Static Excitation System Models for Synchronous Machine
di: Ravina B. Binnar, et al.
Pubblicazione: (2020)

Analogía mecánica de la autointeracción no-lineal de campos
di: Mauricio Paulin
Pubblicazione: (2000)

The key structure and self-stabilization mechanism of water-soluble interfacial squalene-hopene cyclase.
di: Chen, Huibin, et al.
Pubblicazione: (2025)

STATIC AND DYNAMIC FLOW MAPS: COMPARING THE USABILITY BETWEEN IMPAIRED COLOR VISION AND NORMAL COLOR VISION
di: Fabrício Rosa Amorim
Pubblicazione: (2021)

Desarrollo de una tecnología sencilla para la georreferenciación y medición de distancias a partir de imágenes de satélite sistemáticamente georreferenciadas.
di: Gónima, Leonardo, et al.
Pubblicazione: (2010)

Research on stability for blended-wing-body aircraft
di: Lucky Bose, et al.
Pubblicazione: (2024)

Dynamic Assessment Approach in Language Teaching: A Review
di: LIZETH KATHERINE VERGARA CABARCAS
Pubblicazione: (2019)

Impact of calcium carbonate on the juveniles of brackish river prawn, Macrobrachium marobrachion under laboratory conditions
di: Okobgue, B.C., et al.
Pubblicazione: (2013)

Reactive power limits of Cascaded H-Bridge STATCOMs in star and delta configuration under negative-sequence current withstanding
di: Marzo, Iosu, et al.
Pubblicazione: (2022)

Strong Determinism and Cyclic Time Recurrence: A Geometric Interpretation of Observer Experience from Scale Geometry
di: Zheng, Xinyu
Pubblicazione: (2026)

Null tests of the Ω₉ frequency in LIGO/Virgo data
di: Gluvic, Luka
Pubblicazione: (2025)

AI based SystemVerilog TB generation
di: Bhavin Shah
Pubblicazione: (2017)

Static Vibrational Reality: Einstein, Relativity, and the Universality of Time
di: Gluvić, Luka
Pubblicazione: (2025)

Automated Code Quality and Security Auditor (A-CQSA) Using Large Language Models with Composite Risk Scoring
di: Singh, Abhinav, et al.
Pubblicazione: (2026)

INTELLIGUARD: ENHANCED SOFTWARE DEFECT FORECASTING WITH ML
di: DIVIDEVARA SAI TEJA , G. PRAVEEN BABU
Pubblicazione: (2025)

PTA Simulations Support the Gluvić Constant at Ω≈31 nHz with >5σ Significance
di: Gluvic, Luka
Pubblicazione: (2025)

Guía de implementación HL7 para sistemas de notificación obligatoria en salud pública en Colombia
di: Ricardo Adolfo Aguilar Bolaños
Pubblicazione: (2009)

CITELIVEPRO 2.0: Programa para la organización bibliográfica
di: Magday Santos Jiménez
Pubblicazione: (2007)

Home Service Provider Management System
di: Mr ORCHU VENKATA KOTESWARARAO R, PRANAV RAI A N, PRANAV HEGDE, NISHANTH B SHETTY AND ROHIT B
Pubblicazione: (2026)

PUBLICIDADE EM CELULARES UTILIZANDO O SISTEMA DE BUSCA DE PERFIL
di: Bruno Gomes de Araújo
Pubblicazione: (2010)

Metodología para la construcción de córpora textuales estructurados basados en XML
di: Fco. Mario Barcala
Pubblicazione: (2006)

A Web-Platform for Preserving, Exploring, Visualising, and Querying Linguistic Corpora and other Resources
di: Georg Rehm
Pubblicazione: (2008)

Sistema para la gestión de la condición de los transformadores de potencia
di: Maité C. Hernández-Soberao
Pubblicazione: (2013)

Modelación y manejo de bases de datos para el almacenamiento de la información sobre ortología genética
di: Tonysé de la Rosa Martín
Pubblicazione: (2013)

Techniques for Evaluating and Enhancing the Security of Smartphone Applications
di: Chande, Pooja Santosh
Pubblicazione: (2025)