<--- Back to Details
First PageDocument Content
Java platform / Cross-platform software / Java programming language / Model checkers / Uppaal Model Checker / Java / Windows / Environment variable / Path / Computing / Software / System software
Date: 2011-07-22 14:12:05
Java platform
Cross-platform software
Java programming language
Model checkers
Uppaal Model Checker
Java
Windows
Environment variable
Path
Computing
Software
System software

TEMPO INSTALLATION v0.2.2 (BETA[removed]Platform Independent Notes

Add to Reading List

Source URL: www.veromodo.com

Download Document from Source Website

File Size: 480,09 KB

Share Document on Facebook

Similar Documents

Cryptography / Public-key cryptography / Post-quantum cryptography / Smart cards / Hash-based cryptography / Digital signature / Cryptographic hash function / Java Card / Hash function / Security token / Cryptographic primitive / XMSS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xV0o - View Document

Cryptography / Post-quantum cryptography / Quantum cryptography / Emerging technologies / Quantum computing / Key / Supersingular isogeny key exchange / Ring learning with errors key exchange

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xUSb - View Document

Computing / Software engineering / Computer programming / Concurrent programming languages / High-level programming languages / Type theory / Programming languages / Program analysis / Java virtual machine / Type system / Go / Java

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Graph theory / Graph connectivity / Strongly connected component / Reachability / Graph / Node / Topological sorting

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xUMO - View Document

Computing / Software engineering / Computer programming / Programming languages / Data types / Java / Programming language syntax / Object-oriented programming languages / Java syntax / Const / F / ALGOL 68

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

DocID: 1xUzV - View Document