Towards feasible, machine-assisted verification of object-oriented programs

Towards feasible, machine-assisted verification of object-oriented programs

Bibliographic Details
Main Author:	Tang, Francis Hin-Lun
Published:	University of Edinburgh 2002
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.681646

Similar Items

Verification of object-oriented designs
by: Baluta, Wasyl
Published: (2013)

Verification of object-oriented designs
by: Baluta, Wasyl
Published: (2013)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
by: Alexander Heußner, et al.
Published: (2015-04-01)

Object-oriented concurrent programming on the connection machine with COOL (Concurrent Object-Oriented Language)
by: Drake, Maria Rosa
Published: (1995)

Scalable and accurate approaches for program dependence analysis, slicing, and verification of concurrent object oriented programs
by: Ranganath, Venkatesh Prasad
Published: (2006)

Program Verifications, Object Interdependencies, and Object Types
by: Xing Cong-Cong
Published: (2007-01-01)

Specification and verification of object-oriented software components
Published: (2006)

An Object-Oriented Approach to Construct a Virtual Manufacturing System for PLC Program Verification
by: Yan-Hua Chen, et al.
Published: (2015)

Regression Testing for Aspect-Oriented Programs Evolved from Object-Oriented Programs
by: Wei-Lun Jhu, et al.
Published: (2010)

Verification of Design Patterns with Object-Oriented Quality Models
by: Peng-Hua Chu, et al.
Published: (2005)

Evidence-Based Verification and Validation for Object Oriented Software
by: 吳明修

Formal verification of machine-code programs
by: Myreen, Magnus Oskar
Published: (2009)

Object-Oriented Programming and Representation of Objects
by: Drozdek Adam
Published: (2015-03-01)

Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software
by: Pamplin, Jason Andrew
Published: (2007)

A Supervised Machine Learning Approach Using Object-Oriented Programming Principles
by: Creps, Merl John, Jr
Published: (2018)

Making machines that make : object-oriented hardware meets object-oriented software
by: Peek, Nadya (Nadya Meile)
Published: (2017)

An object oriented model of machine vision
by: Brown, Gary
Published: (1997)

Implement the Variation Theory in an Object-Oriented Programming Assisted Syntax Correction Learning System.
by: Tzu-FengHwang, et al.
Published: (2013)

Towards certified program logics for the verification of imperative programs
by: David Miguel Ramalho Pereira
Published: (2019)

Channels as Objects in Concurrent Object-Oriented Programming
by: Joana Campos, et al.
Published: (2011-10-01)

Object Oriented Programming in Director
by: Marian DARDALA, et al.
Published: (2006-01-01)

OBJECT-ORIENTED PROGRAMMING TESTING
by: Yang, Jenn Long, et al.
Published: (1994)

Conceptual object-oriented programming
by: Hines, Timothy R.
Published: (2015)

Object-Oriented PLC Programming
by: Eduardo Miranda Moreira da Silva
Published: (2021)

Animation and formal verification of real-time reactive systems in an object-oriented environment
by: Muthiayen, Darmalingum
Published: (1996)

Timed Refinement for Verification of Real-Time Object Code Programs
by: Dubasi, Mohana Asha Latha
Published: (2020)

Timed Refinement for Verification of Real-Time Object Code Programs
by: Dubasi, Mohana Asha Latha
Published: (2021)

An object-oriented simulation in automated machine manufacturing
by: Michael Hung, et al.
Published: (2003)

An object oriented approach to electrical machine design
by: Norton, Mark B.
Published: (2005)

A vector machine based approach towards object oriented classification of remotely sensed imagery
by: Pattathal Vijayakumar Arun, et al.
Published: (2014-03-01)

Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013)

Towards the formalisation of object-oriented methodologies
by: Adesina-Ojo, Ayodele Adeola
Published: (2013)

The Object Oriented Programming for Queuing System
by: I. Grama, et al.
Published: (1993-02-01)

Object oriented approach to genetic programming
by: Oumanski, Alexandre
Published: (1999)

Metrics for object-oriented program control
by: Hitchcock, T. L.
Published: (2006)

Visual programming in object-oriented style
by: HUANG, WEI-HONG, et al.
Published: (1989)

Object-Oriented Program for Structural Analysis
by: Ma Nian-Hou, et al.
Published: (2001)

Relationships for object-oriented programming languages
by: Wren, Alisdair Stuart
Published: (2007)

An Object-Oriented Program Slicing System
by: Chan, Jien-Tsai, et al.
Published: (1996)

object oriented programming for structural analysis
by: chiu, andy, et al.
Published: (1996)