htl2xta

Htl translator to XTA (Uppaal).

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow htl2xta

htl2xta Web Site

Other Useful Business Software

Real Time Accounts Payable Automation.

Invoice capture and automation seamlessly integrated with your accounting software

Yooz provides the smartest, most powerful, and easiest-to-use cloud-based E-invoicing and Purchase-to-Pay automation solution. It delivers unmatched savings, speed, and security with affordable zero-risk subscriptions to more than 5,000 customers and 300,000 users worldwide.

Learn More

Rate This Project

User Reviews

Be the first to post a review of htl2xta!

Additional Project Details

Operating Systems

Linux

Languages

English

Intended Audience

Other Audience

User Interface

Console/Terminal

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Compilers, OCaml (Objective Caml) Embedded Systems Software

Registered

2009-04-01

Similar Business Software

Localazy

Localazy is a localization automation platform and powerful CAT tool. Speak everyone's language and expand your user base. Manage translations and enjoy both standard & innovative localization features. Tailor-made for growing apps and established businesses alike. Integrate Localazy to...

See Software
Miro

Keep your team's minds in sync with Miro (formerly RealtimeBoard and AWW app). A virtual whiteboard and remote collaboration tool, Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any...

See Software
Guru

Guru is an Enterprise AI search and AI-powered knowledge platform that provides instant, trusted information from your company's scattered docs, apps, and chats when you need it without context switching. Guru's AI understands who you are and what's important to you. Forget about manually...

See Software

Report inappropriate content