ER Model Transformation
License: Free File size: N/A
Users Rating: 3.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT ER Model Transformation
Entities and relationships are specified as user defined types. We'll be using PVS proving tool. The verification involves proving the type correctness conditions that is generated automatically by the type checker.