Revision as of 09:12, 7 July 2017 edit John of Reading (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 787,576 edits m →top: Typo fixing, replaced: its' → its using AWB ← Previous edit		Revision as of 09:48, 3 December 2017 edit undo KolbertBot (talk \| contribs) Bots 1,166,042 edits m Bot: HTTP→HTTPS (v477) Next edit →
Line 15: == Verification Strategy == The software language used throughout the API Calculus program is translated into two other different languages. It is first translated from API Calculus syntax to [https://wiki.eclipse.org/ATL/User_Guide_-_Overview_of_the_ATL_Language ATEL/ATL], then to [http://www.imagineersystems.com/products/mocha-pro/ MOCHA]. The outcome of the translating module is like the step previously mentioned.<ref name=":1">{{Cite web\|title = The First Stage of a System Verification Strategy for API-Calculus.\|url = ~~http~~https://www.researchgate.net/publication/221282902_The_First_Stage_of_a_System_Verification_Strategy_for_API-Calculus\|website = ResearchGate\|accessdate = 2015-10-21}}</ref> # Input Module( receives API Calculus model ) # Translating Model ( converts API syntax to ATEL/ATL syntax )

API-Calculus: Difference between revisions