2875 search results - page 306 / 575 » Model checking agentspeak |
146
Voted
FIDJI
2003
Springer
15 years 8 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
169
click to vote
TAGT
1998
Springer
15 years 7 months ago
1998
Springer
When working with diagrams in visual environments like graphical diagram editors, diagrams have to be represented by an internal model. Graphs and hypergraphs are well-known concep...
148
Voted
SDL
2003
15 years 4 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
112
click to vote
ENTCS
2007
15 years 3 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
116
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...