1463 search results - page 89 / 293 » Model Checking Implicit-Invocation Systems |
107
click to vote
DLOG
2010
14 years 11 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
111
click to vote
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
151
Voted
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
129
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
119
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...