Runtime Verification

Runtime Verification

Runtime Verification tiene como objetivo utilizar la tecnología de verificación de tiempo de ejecución para mejorar la seguridad, la fiabilidad y la corrección de los sistemas de software. Su equipo está formado por pioneros y líderes en este campo.

Desarrolladores de Juno: suspensión de la red principal debido a un ataque de contrato inteligente malicioso, la red se está reparando: noticias del 7 de abril, la cadena de bloques basada en Cosmos Juno se desconectó el martes debido a un ataque cibernético. Según un mensaje retuiteado por la cuenta oficial de Twitter del proyecto, la red aún estaba fuera de línea al momento de la publicación, pero los fondos de los usuarios no se vieron afectados, y el equipo de desarrollo central de Juno dijo que estaba trabajando en una solución. Un desarrollador central de Juno anónimo dijo que el bloqueo de la red se debió a un contrato inteligente malicioso disfrazado de un simple programa "hola mundo". El presunto atacante envió más de 400 transacciones al contrato inteligente en el transcurso de tres días, en un proceso aparentemente de prueba y error que finalmente bloqueó una combinación específica de transacciones, lo que provocó que la red colapsara. Según los desarrolladores, los atacantes explotaron una vulnerabilidad de cadena de bloques que Juno planea abordar con una actualización a las pocas horas del ataque. El desarrollador declaró que la vulnerabilidad se ha divulgado públicamente, ya que afecta a todas las cadenas de bloques que utilizan la plataforma de contratos inteligentes CosmWasm. Según noticias anteriores, Juno dejó de producir bloques a la altura del bloque 2578108. (CoinDesk) [2022/4/7 14:09:13]

Verificación en tiempo de ejecución La verificación en tiempo de ejecución es un método de análisis de software dinámico que analiza un programa a medida que se ejecuta, observa los resultados de la ejecución y utiliza estos resultados para encontrar errores.

Los fondos Northbound aumentarán sus posiciones en acciones A en más de 400 mil millones en 2021, con una alta probabilidad de alcanzar un nuevo máximo anual: según las noticias del 26 de diciembre, 2021 puede convertirse en un año decisivo para que el capital extranjero aumente su asignación de A Comparte. Por un lado, mi país sigue impulsando la apertura. El 24 de diciembre, la Bolsa de Valores de Shanghai-Shenzhen-Hong Kong y China Settlement anunciaron que habían llegado a un consenso sobre el plan general para la inclusión de ETF en los objetivos de interconexión. La inclusión de ETF en el mecanismo de interconexión está a la vista, y el mecanismo de interconexión entre los dos lugares agradecerá la expansión. Por otro lado, el constante desarrollo de la economía de China continúa atrayendo inversión extranjera. A partir del 24 de diciembre, Shanghai-Hong Kong Stock Connect y Shenzhen-Hong Kong Stock Connect lograron una entrada de capital neta de 417.500 millones de yuanes en 2021, que probablemente alcanzará un nuevo máximo anual. (Noticias del Fondo de China) [2021/12/26 8:05:00]

Verificación en tiempo de ejecución La verificación en tiempo de ejecución es más liviana que las técnicas de análisis formales tradicionales, y no pretende reemplazar las pruebas tradicionales basadas en unidades, funcionales y de integración, o incluso las herramientas de análisis estático livianas.

CEO de Blockstream: Bitcoin es un mercado y las altcoins son casinos: el CEO de Blockstream, Adam Back, tuiteó por la noche que Bitcoin es un mercado y las altcoins son casinos, concéntrese en los premios. [2020/9/7]

Tags：Verificación de tiempo de ejecuciónsustrato

oficial

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube