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)