481 search results - page 1 / 97 » Model Checking Abstract State Machines and Beyond |
ASM
2000
ASM
14 years 3 months ago
2000
ASM
LPAR
2005
Springer
14 years 4 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 11 months ago
2008
PAPM
2001
Springer
14 years 3 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
14 years 5 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 ...