E. Allen Emerson -- Home Page

This page gives the biographical information about E. Allen Emerson, the co-inventor of Model Checking, a popular technique used for automatic formal verification of hardware and software programs
Tags: Education Allen Emerson Model Checking Branching Time Model Checking CTL Allen Emerson
This link in a frame	Preview
Rating: 0.00 (0 votes) Rate this link

Bookmark and share this link:

Message	I want to let you know about a great site I've just found. Sprackle.com! An incredible search engine. They have blogs, videos, news, and more! Plus add your own content. There is even a global advertising network with over 24 different types of ads to use plus referral program with detailed statistics! Check it out today! Sprackle.com https://www.sprackle.com
Your Name
Email
Friend's Email