Tag: formal verification - flazx.us

Updates

Latest Tweet

Flazx

What's New?

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

Like this Page

formal verification

Home / Tags / formal verification /

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

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering)

February 2011

Rigorous Software Development: An Introduction to Program Verification

January 2011

Verification of Sequential and Concurrent Programs

October 2010

Specification and Verification of Multi-agent Systems

August 2010

Modeling and Verification of Real-time Systems

April 2008

Verification Techniques for System-Level Design (Systems on Silicon)

October 2007

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)

October 2007

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... / Programming and Software Engineering)

March 2007

Concurrency: State Models and Java Programs 2e

July 2006

Scalable Hardware Verification with Symbolic Simulation

December 2005

Publication by Year

Copyright 2010-2011. All rights reserved.