Abstract is missing.
- Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent SystemsYang Liu 0003, Lei Ma 0003, Jianjun Zhao. 3-15 [doi]
- Using DimSpec for Bounded and Unbounded Software Model CheckingMarko Kleine Büning, Tomás Balyo, Carsten Sinz. 19-35 [doi]
- SMTBCF: Efficient Backbone Computing for SMT FormulasYueling Zhang, Geguang Pu, Min Zhang. 36-51 [doi]
- Automatic Verification for Node-Based Visual Script Notation Using Model CheckingIsamu Hasegawa, Tomoyuki Yokogawa. 52-68 [doi]
- A Reo Model of Software Defined NetworksHui Feng, Farhad Arbab, Marcello M. Bonsangue. 69-85 [doi]
- Design of Point-and-Click User Interfaces for Proof AssistantsBohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun. 86-103 [doi]
- SqlSol: An accurate SQL Query SynthesizerLin Cheng. 104-120 [doi]
- Towards Verifying Ethereum Smart Contracts at Intermediate Language LevelXimeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han. 121-137 [doi]
- Simulations for Multi-Agent Systems with Imperfect InformationPatrick Gardy, Yuxin Deng. 138-153 [doi]
- On the Generation of Equational Dynamic Logics for Weighted Imperative ProgramsLeandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa. 154-169 [doi]
- A Security Calculus for Wireless Networks of Named Data NetworkingYuan-fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin. 170-185 [doi]
- Automatic Modularization of Large Programs for Bounded Model CheckingMarko Kleine Büning, Carsten Sinz. 186-202 [doi]
- PDNet: A Programming Language for Software-Defined Networks with VLANShuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu. 203-218 [doi]
- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State MachinesKlaus-Dieter Schewe. 219-235 [doi]
- Probably Approximate Safety Verification of Hybrid Dynamical SystemsBai Xue 0001, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran. 236-252 [doi]
- A Formally Verified Algebraic Approach for Dynamic Reliability Block DiagramsYassmeen Elderhalli, Osman Hasan, Sofiène Tahar. 253-269 [doi]
- Reasoning About Universal Cubes in MCMTSylvain Conchon, Mattias Roux. 270-285 [doi]
- sCompile: Critical Path Identification and Analysis for Smart ContractsJialiang Chang, Bo Gao, Hao Xiao, Jun Sun 0001, Yan Cai 0001, Zijiang Yang. 286-304 [doi]
- A Mechanized Theory of Program RefinementBoubacar Demba Sall, Frédéric Peschanski, Emmanuel Chailloux. 305-321 [doi]
- A Relational Static Semantics for Call Graph ConstructionXilong Zhuo, Chenyi Zhang. 322-335 [doi]
- Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal MethodAllison Sullivan, Darko Marinov, Sarfraz Khurshid. 336-352 [doi]
- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean NetworksNikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek. 353-369 [doi]
- Combining Parallel Emptiness Checks with Partial Order ReductionsDenis Poitrenaud, Etienne Renault. 370-386 [doi]
- A Coalgebraic Semantics Framework for Quantum Systemsai Liu, Meng Sun 0002. 387-402 [doi]
- Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory EvaluationYongjian Li, Bow-Yaw Wang. 403-419 [doi]
- An Axiomatisation of the Probabilistic \mu -CalculusJunnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang 0001. 420-437 [doi]
- Synthesizing Nested Ranking Functions for Loop Programs via SVMYi Li, Xuechao Sun, Yong Li 0031, Andrea Turrini, Lijun Zhang 0001. 438-454 [doi]
- A First Step in the Translation of Alloy to CoqSalwa Souaf, Frédéric Loulergue. 455-469 [doi]
- Assessment of a Formal Requirements Modeling Approach on a Transportation SystemSteve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili. 470-486 [doi]
- Design Model Repair with Formal VerificationChenghao Cai, Jing Sun 0002, Gillian Dobbie. 489-492 [doi]
- A Performance-Sensitive Malware Detection System on Mobile PlatformRuitao Feng, Yang Liu 0003, Shangwei Lin. 493-497 [doi]
- Certifying Hardware Model Checking ResultsZhengqi Yu, Armin Biere, Keijo Heljanko. 498-502 [doi]
- A Note on Failure Mode ReasoningHamid Jahanian. 503-506 [doi]
- Robustness of Piece-Wise Linear Neural Network with Feasible Region ApproachesJay Hoon Jung, Youngmin Kwon. 507-511 [doi]
- Formal Specification and Verification of Smart ContractsJiao Jiao. 512-516 [doi]
- Spatio-Temporal Specification Language for Cyber-Physical SystemsTengfei Li. 517-521 [doi]
- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine LearningDongdong An, Jing Liu, Xiaohong Chen, Tengfei Li, Ling Yin. 522-525 [doi]