3256 search results - page 156 / 652 » Applications of Formal Methods to System Design and Verifica... |
148
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
119
Voted
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
167
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
134
Voted
FM
2006
Springer
15 years 8 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
133
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...