Jakarta: A Toolset for Reasoning about JavaCard.

Gilles Barthe Guillaume Dufay Marieke Huisman Simão Melo de Sousa

Published in: E-smart (2001)

Keyphrases

formal specification
smart card
qualitative reasoning
spatial reasoning
formal theory
model driven engineering
multiscale
relational databases
reverse engineering
practical reasoning
artificial intelligence
bayesian networks
development process