A survey of automated techniques for formal software verification by D'Silva, V, Kroening, D, Weissenbacher, G

A Survey of Automated Techniques for Formal Software Verification. by D'Silva, V, Kroening, D, Weissenbacher, G

A Survey of Automated Techniques for Formal Software Verification by D'Silva, V, Kroening, D, Weissenbacher, G

Medical device software verification, validation and compliance [electronic resource] / by Vogel, David A., author 543778

Usability of AutoProof: a case study of software verification by Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin

Get full text

METHOD OF SOFTWARE VERIFICATION OF AIR OBJECTS CLASSIFICATION FUZZY LOGICAL SYSTEM by Oleksander Timochko

Subjects: Get full text

A Software Verification Method for the Internet of Things and Cyber-Physical Systems by Yuriy Manzhos, Yevheniia Sokolova

“…To address this demand, it is crucial to employ effective software verification methods. The proposed method is based on the use of physical quantities defined by the International System of Units, which have specific physical dimensions. …”
Get full text

An integrated Hardware/Software Verification and Validation methodology for Signal Processing Systems by Venugopal Manokar, Nanda Manju, Anand G., Chandana Voora Hari

Get full text

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States by Barner, S, Eisner, C, Glazberg, Z, Kroening, D, Rabinovitz, I

Handling State Space Explosion in Component-Based Software Verification: A Review by Faranak Nejati, Abdul Azim Abd Ghani, Ng Keng Yap, Azmi Bin Jafaar

Get full text

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review by Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini

Get full text

Handling state space explosion in component-based software verification: a review by Nejati, Faranak, Abd Ghani, Abdul Azim, Ng, Keng Yap, Jafaar, Azmi

Research of software verification methods for waste management and review the waste treatment legislation in Russia by Epifancev Kirill, Mishura Tamara, Kozlova Olga, Nikulin Andrei

Get full text

CSP2Turtle: Verified Turtle Robot Plans by Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Subjects: “…software verification…”
Get full text

Automated model-based test case generation using UML activity diagram by Monim, Md Abdul

Subjects: Get full text

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / by International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), Yorav, Karen

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study by Koay Kheng Lee, Webster Matt, Dixon Clare, Gainer Paul, Syrdal Dag, Fisher Michael, Dautenhahn Kerstin

Get full text

A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards by Luís Carlos Santos, André Santos, Filipe Neves Santos, António Valente

Subjects: Get full text

Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps by Muhsin H. Atto

Subjects: Get full text

HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps by Alyaa A. Hamza, Islam Tharwat Abdel Halim, Mohamed A. Sobh, Ayman M. Bahaa-Eldin

Subjects: Get full text