123 search results - page 8 / 25 » A case study on the automated verification of groupware prot... |
SUTC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
GROUP
2005
ACM
14 years 29 days ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
AICOM
2010
13 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...