Automated Model−Based Verification of Object−Oriented Code

Automated Model−Based Verification of Object−Oriented Code

Show other versions (1)

Bibliographic Details
Main Authors:	Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F
Format:	Conference item
Published:	2006

Similar Items

Automated Model−based Verification of Object−Oriented Code
by: Ostroff, J, et al.
Published: (2006)

ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
by: Ostroff, J, et al.
Published: (2015)

Deadlock Freedom Through Object Ownership
by: Kerfoot, E, et al.
Published: (2009)

Verification of object-oriented software : the key approach /
by: Beckert, Bernhard, et al.
Published: (2007)

Hardware verification with SystemVerilog : an object-oriented framework /
by: 272566 Mintz, Mike, et al.
Published: (2007)

Automated verification of code automatically generated from Simulink (R)
by: O'Halloran, C
Published: (2013)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
by: Lorch, Jacob, et al.
Published: (2022)

Formal relationships in sequential object systems
by: Kerfoot, E
Published: (2010)

Formal Relationships in Sequential Object Systems
by: Kerfoot, E
Published: (2010)

Automated verification of model-based programs under uncertainty
by: Mahtab, Tazeen, 1981-
Published: (2005)

Real-time object-oriented control for automation
by: Maung Tin Ko Oo.
Published: (2008)

On automated verification of probabilistic programs
by: Legay, A, et al.
Published: (2008)

Object-oriented codes representation of program understanding system
by: Mohd Sani, Nor Fazlida, et al.
Published: (2008)

Using Relational and Behavioural Semantics in the Verification of Object Models
by: Bolton, C, et al.
Published: (2000)

Maintaining Invariants Through Object Coupling Mechanisms
by: Kerfoot, E, et al.
Published: (2007)

A short review on vision-based object grasping automation with QR code
by: Teoh, Mooi Khee, et al.
Published: (2021)

Automated Verification of Shape and Size
by: Nguyen, Huu Hai, et al.
Published: (2007)

Automated quantitative software verification
by: Kattenbelt, M
Published: (2010)

The automated verification of timewise refinement
by: Roscoe, A
Published: (2013)

Automated software verification through empirical-based methods
by: Asim Saghir Sheikh.
Published: (2008)

Automated continuous verification for numerical simulation
by: Farrell, P, et al.
Published: (2011)

Electronic design automation : synthesis, verification, and test /
by: Wang, Laung-Terng, et al.
Published: (2009)

An automated tool for business rule-driven, object-oriented software evolution
by: Wan Kadir, Wan M. N.
Published: (2008)

Object-oriented modeling and design /
by: Rumbaugh, James
Published: (1991)

Safety verification for automated vehicle maneuvers
by: Dolginova, Ekaterina, 1977-
Published: (2009)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)

Automated Verification Techniques for Probabilistic Systems.
by: Forejt, V, et al.
Published: (2011)

Semantic simulations based on object-oriented analysis and modeling
by: Allen, Robert B.
Published: (2021)

Extracting Object Oriented Software Architecture from C++ Source Code
by: Mresa, Ali Hussein A.
Published: (2000)

Linear and nonlinear verification of gyrokinetic microstability codes
by: Bravenec, R, et al.
Published: (2011)

Linear and nonlinear verification of gyrokinetic microstability codes
by: Bravenec, R, et al.
Published: (2011)

Automated verification of group key agreement protocols
by: Schmidt, B, et al.
Published: (2014)

Designing object systems : object-oriented modelling with syntropy /
by: 190920 Cook, Steve, et al.
Published: (1994)

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

Java with object oriented programming /
by: 218598 Wang, Paul S.
Published: (2003)

Compositional probabilistic verification through multi-objective model checking
by: Kwiatkowska, M, et al.
Published: (2013)

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

Object-oriented design process model
by: Din, Jamilah, et al.
Published: (2009)

Object-oriented modeling and design with UML /
by: 410556 Blaha, Michael, et al.
Published: (2005)

Object-oriented data modeling / [mikrofilem]
by: 459425 Baltz, Donald W.