LivelyWalkThrough

A GUI prototyping tool on top of VDM-SL specification

Brought to you by: tomooda

Downloads: 0 This Week

Last Update: 2015-04-07

Add to Preferred Sources

Lively Walk-Through is a GUI prototyping environment that drives VDM-SL specification.

Copyright (c) 2013 Research Center for Architecture-Oriented Formal Methods, Kyushu University
The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001
Architecture Oriented Formal Approaches to High Quality Software Development

Project Activity

See All Activity >

License

MIT License

Follow LivelyWalkThrough

LivelyWalkThrough Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of LivelyWalkThrough!

Additional Project Details

Registered

2015-04-07

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Recommended Projects

C3
The goal of CLAIMED is to enable low-code/no-code rapid prototyping
Community Z Tools
Tool support for the Z formal notation
Deequ
Deequ is a library built on top of Apache Spark
Lean 4
Lean 4 programming language and theorem prover
The ATS PL System
Unleashing the potentials of types and templates