Computer Aided Verification. Part II

Thông tin tài liệu

Full metadata record

DC Field	Value	Language
dc.contributor.author	Lahiri, Shuvendu K.	vi
dc.date.accessioned	2021-08-15T09:32:55Z	-
dc.date.available	2021-08-15T09:32:55Z	-
dc.date.issued	2020	-
dc.identifier.other	OER000001012	vi
dc.identifier.uri	http://dlib.hust.edu.vn/handle/HUST/19119	-
dc.description	https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf	vi
dc.description.abstract	Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers for In-Kernel DSLs, Program Synthesis Using Deduction-Guided Reinforcement Learning.	vi
dc.description.uri	https://library.oapen.org/bitstream/20.500.12657/41296/1/2020_Book_ComputerAidedVerification.pdf	vi
dc.format	PDF	vi
dc.language.iso	en	vi
dc.publisher	springer open	vi
dc.subject	công nghệ thông tin	vi
dc.subject	chương trình máy tính	vi
dc.subject	Phần mềm máy tính	vi
dc.subject.lcc	QA76.9	vi
dc.title	Computer Aided Verification. Part II	vi
dc.type	Book	vi
Appears in Collections:	OER - Công nghệ thông tin

Files in This Item:

OER000001012-1.pdf
Restricted Access

OER000001012-2.pdf
Restricted Access