temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.

Faraz Hussain Gary T. Leavens

Published in: SEFM (2010)

Keyphrases

temporal properties
formal methods
model checking
formal specification
possibility theory
high level
cooperative
temporal logic
artificial intelligence
decision making
decision trees
neural network
control system
probability distribution
software engineering
knowledge based systems