1541 search results - page 41 / 309 » Tools and Techniques for Model Checking Networked Programs |
110
click to vote
APCCM
2009
15 years 1 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
118
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
112
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
101
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...