Toggle navigation
Home
People
Projects
Documents
Products
Courses
Login
Editing document
Tryear
Trmonth
Trnumber
Title
Abstract
Traditional static analysis often uses modular checking to verify a subsystem in isolation, while still reasoning about the entire system. Sensor networks, with their physical ties to the environment, are reactive in nature. Unfortunately, many benefits of modular analysis are lost in reactive systems. This loss results from state space pollution caused by reactive events that, from the perspective of the analysis, may fire at any time. My work over the past two years explores a slice of this dilemma. The work resulted in a framework that, when completed within the next two months, will vertically integrate static verification with higher level specifications. This integration allows modular static analysis to proceed with a more limited state space based on assumptions coming from the higher level specification. Load time and run time checks are added to the system to insure that assumptions from the specification are properly followed.
Filename
File
Urlpdfpaper
Urlsrcpaper
Urlpdfpresentation
Urlsrcpresentation
Urlavmedia
Urldoi
Urlpublisher
Urlgooglescholar
Urlciteseer
Pubin
Pubvol
Pubnum
Pubnum end
Pubpagefirst
Pubpagelast
Pubpagecount
Pubdate
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubdate end
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubplace
Publisher
Ispublic
Islabdocument
Miscattributes
Document category
Main research area
Show
|
Back