Specifications and Verifications of Transactions in Mobile Environment

Specifications and Verifications of Transactions in Mobile Environment

Temporal Logics Specifications and Verifications

Versandkostenfrei!
Versandfertig in 6-10 Tagen
51,99 €
inkl. MwSt.
PAYBACK Punkte
26 °P sammeln!
The advent of mobile and web technologies has given rise to unlimited numbers of concurrent users executing their transactions in databases in continuous streams. In order to prove correctness, a method of modelling the behaviour of such transactions is required. Most approaches to proving the correctness of the concurrent execution of transactions have relied on mathematical proofs. These have numerous disadvantages such as: the person who performs the proof needs to be an expert in mathematical proof techniques, the possibility of human error occurring in manual proofs, and if a simplified m...