« Big List of Presidential Candidates | Main | hash function references »
June 28, 2004
Statis analysis introduction
[Introduction to Static Analysis and Logic Programming, Deadline analysis of interrupt driven software by Brylow and Palsberg, STatic checking of interrupt-driven software" also by Brylow, Damgaard and Palsberg] The main idea is to use static anlysis to identify program points where concurrency errors might occur. Then use carefully controlled interleaving at the assembly level to either confirm or refute those concurrency errors. Static anslysis is a kind of control abstraction, the model checking is a refinement of the control abstraction to locate errors.
Posted by jones at June 28, 2004 09:00 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)