Validation of Object-Oriented Concurrent Designs by Model Checking

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-48153-2_34

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 1999

Authors

Klaus Schneider

George Logothetis

Publisher

Springer Berlin Heidelberg

Related search

Decoupling Model Checking From Object-Oriented Languages in Internet QoS

International Journal of Innovative Technology and Exploring Engineering

Mechanics of Materials

Electronic Engineering

Structural Engineering

Computer Science

English

Model Checking Concurrent Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering

English

Optimization of Complex Mechanics Simulations With Object-Oriented Software Designs

English

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

English

An Implementation of the Object-Oriented Concurrent Programming Language SINA

Software - Practice and Experience

English

Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming Languages

English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology

Computer Networks

Information Systems

English

Tool Support for Model Checking of Web Application Designs

English