Incremental specification and verification of object systems /

Incremental specification and verification of object systems /

Bibliographic Details
Main Author:	Fridella, Stephen Anthony
Language:	English
Published:	The Ohio State University / OhioLINK 2000
Subjects:	Computer Science
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405076

Similar Items

Runtime verification of object lifetime specifications
by: Benjamin, Zev (Zev A.)
Published: (2010)

INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION
by: Britton, Dianne Ellen, 1950-
Published: (1977)

Verification of temporal properties involving multiple interacting objects
by: Naeem, Nomair A.
Published: (2013)

Verification of temporal properties involving multiple interacting objects
by: Naeem, Nomair A.
Published: (2013)

Specification and verification of systems using model checking and Markov reward models
by: Lifson, Farrel
Published: (2014)

Specification and verification of context conditions for programming languages
by: Kaplan, Simon Mark
Published: (2015)

Formal specification and verification of safety interlock systems: A comparative case study
by: Seotsanyana, Motlatsi
Published: (2008)

Incremental Protocol Specification Using the Reverse Verification Method
by: Huang Duen Tay, et al.
Published: (1993)

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Hadez, a Framework for the Specification and Verification of Hypermedia Applications
by: Morales German, Daniel
Published: (2006)

Hadez, a Framework for the Specification and Verification of Hypermedia Applications
by: Morales German, Daniel
Published: (2006)

Incremental dependence analysis
by: Rosene, Carl M.
Published: (2009)

Incremental cryptography
by: Yerushalmi, Yoav
Published: (2008)

A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010)

A specification and verification of intermittent global order broadcast
by: Matlon, Catherine A. (Catherine Ann), 1981-
Published: (2005)

Test-inspired runtime verification : Using a unit test-like specification syntax for runtime verification
by: RENBERG, ADAM
Published: (2014)

Evaluation of program specification and verification systems
by: Ubhayakar, Sonali S.
Published: (2012)

Invariant-preserving transformations for the verification of place/transition systems (with application to the verification of protocols).
by: Zeng, Wei.
Published: (2009)

A contract language for modular specification and verification of temporal properties
by: Hummelgren, Lars
Published: (2020)

Techniques for the Specification and Verification of Enterprise Applications
by: Hoffman, Dustin Hunter, Hoffman
Published: (2016)

Incrementally Sorted Lattice Data Structures
by: Obiedat, Mohammad
Published: (2015)

Deductive Formal Verification of Embedded Systems
by: Lu, Zheng
Published: (2012)

Modular verification of concurrent systems /
by: Sobel, Ann E. Kelley
Published: (1986)

Static verification of concurrent system design
by: Zhu, Xun
Published: (2008)

Incremental Power Grid Verification
by: Abhishek
Published: (2012)

Incremental Power Grid Verification
by: Abhishek
Published: (2012)

Formal verification of TCP and T/TCP
by: Smith, Mark Anthony Shawn, 1968-
Published: (2008)

Data flow analysis for verification of application-specific properties of concurrent software
by: Naumovich, Gleb N
Published: (1999)

The Incremental Constraint of k-Server
by: McAulay, Caelyn Burnham
Published: (2012)

The Incremental Constraint of k-Server
by: McAulay, Caelyn Burnham
Published: (2012)

Specification and verification of communicating systems with value passing
by: Gurov, Dilian Borissov
Published: (2017)

Restricted branching programs and hardware verification
by: Ponzio, Stephen J. (Stephen John)
Published: (2006)

Efficient Incremental Model Learning on Data Streams
Published: (2019)

Incremental volume rendering using hierarchical compression
by: Haley, Michael Blake
Published: (2016)

Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016)

Verification of an attitude control system
by: Ha, Vida Uyen, 1980-
Published: (2014)

Verification of Fault-Tolerant Clock Synchronization Systems
by: Miner, Paul S.
Published: (1992)

Vérification et Spécification des Systèmes Distribués
by: Lerman, Benjamin
Published: (2005)

Spécification et vérification de systèmes hybrides
by: Robbana, Riadh
Published: (1995)

An incremental learning system for artificial neural networks
by: De Wet, Anton Petrus Christiaan
Published: (2014)