Tag: model checking - flazx.us

Updates

Latest Tweet

Flazx

What's New?

Check out for latest innovation, a computer based training video collection

Like this Page

model checking

Home / Tags / model checking /

Showing 2012 and older publications, page 1 of 2 First Page Next Page Last Page

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)

April 2011

Specification and Verification of Multi-agent Systems

August 2010

Practical Design Verification

July 2009

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings

September 2008

25 Years of Model Checking: History, Achievements, Perspectives

July 2008

Modeling and Verification of Real-time Systems

April 2008

Principles of the Spin Model Checker

January 2008

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

July 2006

Concurrency: State Models and Java Programs 2e

July 2006

Model Checking Software

April 2004

Publication by Year

Copyright 2010-2011. All rights reserved.