231 search results - page 25 / 47 » Mu-calculus path checking |
ICMCS
2009
IEEE
14 years 9 months ago
2009
IEEE
Interactive Internet Applications that rely on sequential streams for lossless data exchange often use retransmission protocols (e.g. TCP) for reliability and the guarantee of seq...
126
click to vote
FORTE
2011
14 years 2 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
112
click to vote
ICSE
2012
IEEE-ACM
13 years 1 months ago
2012
IEEE-ACM
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
AUTOMATICA
2008
14 years 11 months ago
2008
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
150
click to vote
CF
2011
ACM
13 years 11 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...