4036 search results - page 327 / 808 » Formal Methods |
173
click to vote
IPL
2007
15 years 6 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
157
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
156
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
159
click to vote
IGARSS
2010
15 years 4 months ago
2010
The ESA project GlobSnow develops products and services for snow extent and snow water equivalent. The time series of Snow Extent (SE) products will cover the whole seasonally sno...
165
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...