Verification of the Java Causality Requirements.

Sergey V. Polyakov Assaf Schuster

Published in: Haifa Verification Conference (2005)

Keyphrases

byte code
open source
source code
model checking
application specific
formal verification
java card
real time
databases
object oriented
programming language
web applications
user requirements
formal methods
temporal ordering