4502 search results - page 233 / 901 » Regular Model Checking |
172
click to vote
IS
2008
15 years 6 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
172
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
102
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...
165
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...