Formal Methods for Components and Objects - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540203032, 9783540396567
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool-Supported Proof System for Multithreaded Java

2003 ◽  
pp. 1-32 ◽  
Author(s):  
Erika Ábrahám ◽  
Frank S. de Boer ◽  
Willem-Paul de Roever ◽  
Martin Steffen
Keyword(s):  
Proof System

Reactive Animation

2003 ◽  
pp. 136-153 ◽  
Author(s):  
David Harel ◽  
Sol Efroni ◽  
Irun R. Cohen

Games for UML Software Design

2003 ◽  
pp. 467-486
Author(s):  
Perdita Stevens ◽  
Jennifer Tenzer
Keyword(s):  
Software Design

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

2003 ◽  
pp. 154-181 ◽  
Author(s):  
Xianghua Deng ◽  
Matthew B. Dwyer ◽  
John Hatcliff ◽  
Georg Jung ◽  
Robby ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Embedded Software ◽  
Event Driven

scholarly journals Java Program Verification Challenges

2003 ◽  
pp. 202-219 ◽  
Author(s):  
Bart Jacobs ◽  
Joseph Kiniry ◽  
Martijn Warnier
Keyword(s):  
Program Verification ◽  
Java Program

scholarly journals How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

2003 ◽  
pp. 262-284 ◽  
Author(s):  
Gary T. Leavens ◽  
Yoonsik Cheon ◽  
Curtis Clifton ◽  
Clyde Ruby ◽  
David R. Cok
Keyword(s):  
Formal Verification ◽  
Runtime Assertion Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document