Automated Model−Based Verification of Object−Oriented Code

Automated Model−Based Verification of Object−Oriented Code

他のバージョン（1件）を表示する

書誌詳細
主要な著者:	Ostroff, J, Wang, C, Kerfoot, E, Torshizi, F
フォーマット:	Conference item
出版事項:	2006

類似資料

Automated Model−based Verification of Object−Oriented Code
著者:: Ostroff, J, 等
出版事項: (2006)

ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
著者:: Ostroff, J, 等
出版事項: (2015)

Deadlock Freedom Through Object Ownership
著者:: Kerfoot, E, 等
出版事項: (2009)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
著者:: Alexander Heußner, 等
出版事項: (2015-04-01)

Harnessing the Power of Large Language Models for Automated Code Generation and Verification
著者:: Unai Antero, 等
出版事項: (2024-09-01)

Verification of object-oriented software : the key approach /
著者:: Beckert, Bernhard, 等
出版事項: (2007)

Automated verification of code automatically generated from Simulink (R)
著者:: O'Halloran, C
出版事項: (2013)

Hardware verification with SystemVerilog : an object-oriented framework /
著者:: 272566 Mintz, Mike, 等
出版事項: (2007)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
著者:: Lorch, Jacob, 等
出版事項: (2022)

Formal relationships in sequential object systems
著者:: Kerfoot, E
出版事項: (2010)

Formal Relationships in Sequential Object Systems
著者:: Kerfoot, E
出版事項: (2010)

Real-time object-oriented control for automation
著者:: Maung Tin Ko Oo.
出版事項: (2008)

Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms
著者:: Ivan M. Chernenko, 等
出版事項: (2024-12-01)

Automated verification of model-based programs under uncertainty
著者:: Mahtab, Tazeen, 1981-
出版事項: (2005)

Modeling and Verification of Simulation-Oriented Digital Selves
著者:: Zhaotong Wang, 等
出版事項: (2023-06-01)

Nonlinear Finite Element Techniques Using an Object-Oriented Code
著者:: Brian C. Mansfield
出版事項: (1998-01-01)

Maintaining Invariants Through Object Coupling Mechanisms
著者:: Kerfoot, E, 等
出版事項: (2007)

Automation of requirements: user stories generated from an objective-oriented model based on the notation i*
著者:: Delicia Esmeralda Lucero Guevara, 等
出版事項: (2018-12-01)

On automated verification of probabilistic programs
著者:: Legay, A, 等
出版事項: (2008)

Automated continuous verification for numerical simulation
著者:: P. E. Farrell, 等
出版事項: (2011-05-01)

Object-oriented codes representation of program understanding system
著者:: Mohd Sani, Nor Fazlida, 等
出版事項: (2008)

Energy Consumption Fuzzy Estimation for Object-Oriented Code
著者:: Hui Liu, 等
出版事項: (2018-01-01)

Using Relational and Behavioural Semantics in the Verification of Object Models
著者:: Bolton, C, 等
出版事項: (2000)

A short review on vision-based object grasping automation with QR code
著者:: Teoh, Mooi Khee, 等
出版事項: (2021)

FPGA based automated hardware verification system /
著者:: Kee, Woei Chee , author, 等
出版事項: (2009)

Automated Verification of Shape and Size
著者:: Nguyen, Huu Hai, 等
出版事項: (2007)

Automated quantitative software verification
著者:: Kattenbelt, M
出版事項: (2010)

The automated verification of timewise refinement
著者:: Roscoe, A
出版事項: (2013)

Verification Of Student Diplomas Based On Qr Code
著者:: Citra Widya Herawati
出版事項: (2022-12-01)

An automated dose verification software for brachytherapy
著者:: Xianliang Wang, 等
出版事項: (2018-10-01)

Automated continuous verification for numerical simulation
著者:: Farrell, P, 等
出版事項: (2011)

Verification Oriented Process Ontology
著者:: Natalia O. Garanina, 等
出版事項: (2018-12-01)

An automated tool for business rule-driven, object-oriented software evolution
著者:: Wan Kadir, Wan M. N.
出版事項: (2008)

Linear and nonlinear verification of gyrokinetic microstability codes
著者:: Bravenec, R, 等
出版事項: (2011)

Linear and nonlinear verification of gyrokinetic microstability codes
著者:: Bravenec, R, 等
出版事項: (2011)

Automated software verification through empirical-based methods
著者:: Asim Saghir Sheikh.
出版事項: (2008)

Automated Verification of Quantum Protocols using MCMAS
著者:: F. Belardinelli, 等
出版事項: (2012-07-01)

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations
著者:: Leonard Petnga, 等
出版事項: (2016-06-01)

Program Verifications, Object Interdependencies, and Object Types
著者:: Xing Cong-Cong
出版事項: (2007-01-01)

Object-Oriented Technology : From Diagram to Code with Visual Paradigm for UML /
著者:: 332368 Tsang, Curtis H. K., 等
出版事項: (2010)