Sciweavers

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

11

JUCS
2007

favoriteEmaildiscussreport

116views more JUCS 2007»

Model Checking: Software and Beyond

13 years 4 months ago

Model Checking: Software and Beyond

Download www.cs.cmu.edu

: This paper introduces model checking, originally conceived for checking ﬁnite state systems. It surveys its evolution to encompass ﬁnitely checkable properties of systems with unbounded state spaces, and its application to software and other systems. Key Words: Formal Methods, Model Checking Category: D.2.4, F.3.1, B.2

Edmund M. Clarke, Flavio Lerda

Real-time Traffic

Checking | JUCS 2007 | Unbounded State Spaces | ﬁnite State Systems |

claim paper

Related Content

» Beyond Regular Model Checking

» Verifying DAMLOIL and Beyond in ZEVES

» Exception Handling An Architecture Model and Utility Support

» Synchronous Closing and Flow Analysis for Model Checking Timed Systems

» Beyond safety customized SATbased model checking

» Beyond Memoryless Distributions Model Checking SemiMarkov Chains

» Model Checking FOR over OneCounter Processes and beyond

» ModelChecking Large FiniteState Systems and Beyond

» Model Checking Abstract State Machines and Beyond

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	JUCS
Authors	Edmund M. Clarke, Flavio Lerda

Comments (0)