909 search results - page 154 / 182 » Temporal Logic Case Study |
166
click to vote
TAP
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
141
click to vote
WCRE
2008
IEEE
16 years 10 days ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
157
click to vote
DATE
2007
IEEE
16 years 9 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
141
click to vote
ACNS
2007
Springer
16 years 5 days ago
2007
Springer
The one-way function tree (OFT) scheme proposed by Balenson et. al is widely regarded as an efficient key management solution for multicast communication in large dynamic groups. ...
161
click to vote
CCS
2007
ACM
16 years 4 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...