1463 search results - page 135 / 293 » Model Checking Implicit-Invocation Systems |
136
click to vote
JSA
2008
15 years 1 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
113
Voted
RP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
111
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
125
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...