IEEE - Institute of Electrical and Electronics Engineers, Inc. - Static Checking by Means of Abstract Interpretation

2008 International Conference on Computer Science and Information Technology

Author(s): K. Musumbu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2008
Conference Location: Singapore, Singapore
Conference Date: 29 August 2008
Page(s): 107 - 112
ISBN (Paper): 978-0-7695-3308-7
DOI: 10.1109/ICCSIT.2008.10
Regular:

Dynamic checking are usually easier to use, because the concept are established and wide well know. But they are usually limited to systems whose state space is finite. In an other part, certain... View More

Advertisement