Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

32

ASM
2000
ASM

favoriteEmaildiscussreport

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

14 years 3 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

Real-time Traffic

ASM 2000 | Computational Biology |

claim paper

Related Content

» Model Checking Abstract State Machines with Answer Set Programming

» Simulation of Timed Abstract State Machines with Predicate Logic ModelChecking

» Beyond Memoryless Distributions Model Checking SemiMarkov Chains

» Beyond bloom filters from approximate membership checks to approximate state machines

» Abstract state machines capture parallel algorithms Correction and extension

» Beyond Regular Model Checking

» Model Checking Software and Beyond

» Genetic Programming with Fitness Based on Model Checking

» Model Checking Machine Code with the GNU Debugger

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	ASM
Authors	Marc Spielmann

Comments (0)