2520 search results - page 115 / 504 » Model-checking behavioral programs |
131
click to vote
FMSD
2002
15 years 2 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
168
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
158
click to vote
ICFEM
2010
Springer
15 years 26 days ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
110
click to vote
FLAIRS
2004
15 years 3 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
144
click to vote
ICCL
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...