uppaal-to-tchecker

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

v1.3.0 URL: https://unpkg.com/uppaal-to-tchecker@1.3.0/src/index.js

Open Browse Files

uppaal tchecker timed-automata model-checking formal-verification translator converter verification automata real-time-systems

@runtimeverificationinc/tsk

TypeScript/JavaScript library for K Framework functionality

v0.2.15 URL: https://unpkg.com/@runtimeverificationinc/tsk@0.2.15/dist/cjs/index.cjs

Open Browse Files

k-framework formal-verification ast symbolic-execution typescript javascript

@completium/archetype

Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain.

v1.0.6 URL: https://unpkg.com/@completium/archetype@1.0.6/dist/index.js

Open Browse Files

archetype tezos smart-contract completium formal-verification

agda-web-docs-lib

Library for enhancing Agda-generated HTML documentation

v1.0.2 URL: https://unpkg.com/agda-web-docs-lib@1.0.2/dist/index.js

Open Browse Files

agda documentation html renderer formal-verification formal-methods

leannode-core

Simple Node.js wrapper for Lean 4 theorem prover

v1.0.0 URL: https://unpkg.com/leannode-core@1.0.0/lib/index.js

Open Browse Files

lean lean4 theorem-prover formal-verification