481 search results - page 1 / 97 » Model Checking Abstract State Machines and Beyond |
ASM
2000
ASM
13 years 9 months ago
2000
ASM
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
JUCS
2008
13 years 5 months ago
2008
PAPM
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
SIGCOMM
2006
ACM
13 years 11 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...