1492 search results - page 95 / 299 » Automatic Software Model Checking Using CLP |
54
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
ESSOS
2010
Springer
15 years 7 months ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
129
Voted
JSC
2010
14 years 5 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
98
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
88
Voted
FORTE
2007
14 years 11 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...