4047 search results - page 84 / 810 » Algebraic Model Checking |
94
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
101
click to vote
JDWM
2008
15 years 21 days ago
2008
This article deals with multidimensional analyses. Analyzed data are designed according to a conceptual model as a constellation of facts and dimensions, which are composed of mul...
JLP
2007
15 years 18 days ago
2007
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
110
Voted
ISCIS
2004
Springer
15 years 6 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...