Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method
1. Verfasser:	Yu, Bin (VerfasserIn)
Weitere Verfasser:	Liu, Jinhui (VerfasserIn), Lei, Ming (VerfasserIn), Yu, Yong (VerfasserIn), Chen, Hao (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Solving Constraint Optimization Problems Based on Mathematica and Abstraction	2020	Pan, Guoteng
Formal Specification and Model Checking of a Ride-sharing System in Maude	2020	Muramoto, Eiichi
A Fault Localization Method Based on Dynamic Failed Execution Blocks .	2020	Pan, Baoyi
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction	2020	Wen, Yanjun
An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL	2020	Cui, Jin
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework	2020	Wang, Xiaobing
A Planning Approach Based on APTL	2020	Wang, Haiyang
Metamorphic Testing in Fault Localization of Model Transformations	2020	Du, Keke
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study	2020	Chen, Yuntianyi
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning	2020	Khan, Muhammad Jahanzeb
Distortion and Faults in Machine Learning Software	2020	Nakajima, Shin
UMCAM: A Verification Tool via Program Execution	2020	Wang, Meng
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge	2020	Lu, Xu
Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads	2020	Yu, Bin
Model Checking Python Programs with MSVL	2020	Shu, Xinfeng
Prediction of Function Removal Propagation in Linux Evolution	2020	Wang, Lei
Adaptive Random Testing by Bisection and Comprehensive Distance	2020	Mao, Chengying
A Formal Technique for Concurrent Generation of Software’s Functional and Security Requirements in SOFL Specifications	2020	Emeka, Busalire
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude	2020	Do, Canh Minh
Formal Development and Verification of Reusable Component in PAR Platform	2020	Hu, Qimin

Alle Artikel auflisten