Sciweavers

1116 search results - page 9 / 224
» Applying Predicate Abstraction to Abstract State Machines
Sort
View
48
Voted
LMCS
2007
61views more  LMCS 2007»
14 years 11 months ago
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
ASM
2000
ASM
15 years 3 months ago
Abstract State Machines and Computationally Complete Query Languages
Andreas Blass, Yuri Gurevich, Jan Van den Bussche
64
Voted
ASM
1998
ASM
15 years 3 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
APAQS
2001
IEEE
15 years 2 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...