1492 search results - page 51 / 299 » Automatic Software Model Checking Using CLP |
99
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
120
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
109
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
108
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
113
click to vote
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...