hit tracker

Computer Aided Verification

ISBN 10 : 9783540374060
ISBN 13 : 354037406X

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the..


Computer Aided Verification

ISBN 10 : 9783642026577
ISBN 13 : 3642026575

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 re..


Computer Aided Verification Of Coordinating Processes

ISBN 10 : 0691034362
ISBN 13 : 9780691034362

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reli..


Computer Aided Verification

ISBN 10 : 3540581790
ISBN 13 : 9783540581796

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected i..


Computer Aided Verification

ISBN 10 : 3540405240
ISBN 13 : 9783540405245

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool..


Computer Aided Verification

ISBN 10 : 9783540423454
ISBN 13 : 3540423451

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised ful..


Computer Aided Verification

ISBN 10 : 9783540662020
ISBN 13 : 3540662022

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. T..