1633 search results - page 163 / 327 » On the Verification of Temporal Properties |
164
click to vote
IEEESCC
2005
IEEE
16 years 9 hour ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
167
click to vote
EDOC
2000
IEEE
15 years 10 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
153
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
165
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...