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 full text

Date
Authors
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 MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Optimization of Complex Mechanics Simulations With Object-Oriented Software Designs

1995English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

An Implementation of the Object-Oriented Concurrent Programming Language SINA

Software - Practice and Experience
Software
1989English

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

1995English

Tool Support for Model Checking of Web Application Designs

English

Analysis of Inheritance Anamoly in Object-Oriented Concurrent Programming Languages

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy