Key Terms. Methodology.
0
IRIT-ACADIE, Paul Sabatier University
,
Toulouse
,
France
ion, by modeling the semantics of the formalisms (Java and TA) in a proof assistant.
Formal verification
concurrent Java program
data incoherence
Timed Automata
resource access conflict
semantics
proof assistant
-
FormalMethod,
VerificationProcess,
MathematicalModel,