Citations:verifications

From Wiktionary, the free dictionary

Jump to navigation Jump to search

English citations of verifications

2008, Wikipedia contributors, “Temporal logic”, in English Wikipedia‎^[1], Wikimedia Foundation:
Two early contenders in formal verifications were Linear Temporal Logic (a linear time logic by Amir Pnueli and Zohar Manna) and Computation Tree Logic, a branching time logic by Edmund Clarke and E. Allen Emerson.

Retrieved from "https://en.wiktionary.org/w/index.php?title=Citations:verifications&oldid=55197844"