Cómo abrir un archivo JSON en línea
Tres pasos, pocos segundos, sin software.
Abra su archivo .VDM
Suéltelo en el cuadro, selecciónelo desde su dispositivo o pegue los datos directamente.
Ver la estructura
Su archivo .VDM se abre como un árbol ordenado y plegable, señalando la línea exacta de cualquier error.
Busque, copie o descargue
Busque claves y valores, copie cualquier ruta o valor, cambie a una tabla o descargue una copia limpia.
¿Qué es un archivo .VDM?
El formato de datos más común en la web.
Un archivo .vdm es probablemente un archivo fuente de especificación formal VDM-SL o VDM++, una descripción matemática de un sistema de software utilizada en ingeniería de seguridad crítica. Ábralo con Overture Tool (gratuito, overturetool.org). La extensión también es utilizada por el editor de texto VEDIT para scripts de macros, e históricamente por Windows Defender para módulos de definición de virus.
Programas que abren archivos .VDM
| Nombre completo | VDM Specification File |
|---|---|
| Desarrollador | Originated at IBM Vienna Lab; maintained by IFAD/Terma/community; tooling by VDM Tools / Overture Project |
| Lanzamiento inicial | 1970s (VDM-SL); ISO/IEC 13817-1 published 1996 |
| Categoría | Texto & Código |
| Tipo MIME | text/plain |
Visores relacionados
Cada visor es de uso gratuito.
Preguntas frecuentes
¿Se sube mi archivo .VDM a algún lugar?
No. El archivo se abre directamente desde la copia que usted elija.
Mi archivo .VDM no es válido. ¿Pueden arreglarlo?
Mostramos la línea y columna exactas del primer error. Para problemas comunes como comentarios, comas finales, comillas simples o True/False/None al estilo Python, haz clic en Intentar reparar y descarga el archivo corregido.
¿Qué tamaño puede tener el archivo?
Hasta 50 MB. El árbol solo construye las ramas que abres, por lo que incluso los archivos de varios megabytes mantienen su fluidez.
¿Qué es JSONPath?
Una ruta como $.orders[3].customer.email que apunta a un valor dentro de los datos. Haz clic en cualquier nodo para ver su ruta y copiarla para código, jq o tu documentación de API.
¿Puedo ver mis datos como una tabla?
Sí. Cualquier matriz de objetos se puede mostrar en la Tabla vista y descargar como CSV.
¿Te resultó útil esta herramienta?
Tu valoración nos ayuda a decidir qué herramientas mejorar a continuación.