Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.

Cham : Springer International Publishing : Imprint: Springer, 2019.
1 online resource (XXI, 528 pages) : 491 illustrations, 73 illustrations in color.
1st ed. 2019.
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 11852
Programming and Software Engineering ; 11852
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Artificial intelligence.
Software engineering.
Computer organization.
Computer simulation.
Local subjects:
Theory of Computation. (search)
Artificial Intelligence. (search)
Software Engineering. (search)
Computer Systems Organization and Communication Networks. (search)
Simulation and Modeling. (search)
System Details:
text file PDF
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. .
Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems
Using DimSpec for Bounded and Unbounded Software Model Checking
SMTBCF: Efficient Backbone Computing for SMT Formulas
Automatic verification for node-based visual script notation using model checking
A Reo Model of Software Defined Networks
Design of point-and-click user interfaces for proof assistants
SqlSol: An accurate SQL Query Synthesizer
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level
Simulations for ATL with imperfect information
On the generation of equational dynamic logics for weighted imperative programs
A Security Calculus for Wireless Networks of Named Data Networking
Automatic Modularization of Large Programs for Bounded Model Checking
PDNet: A Programming Language for Software-Defined Networks with VLAN
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines
Probably Approximate Safety Verification of Hybrid Dynamical Systems
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams
Reasoning about Universal Cubes in MCMT
sCompile: Critical Path Identification and Analysis for Smart Contracts
A Mechanized Theory of Program Refinement
A Relational Static Semantics for Call Graph Construction
Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
Combining Parallel Emptiness Checks with Partial Order Reductions
A Coalgebraic Semantics Framework for Quantum Systems
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation
An Axiomatisation of the Probabilistic -Calculus
Synthesizing Nested Ranking Functions for Loop Programs via SVM
A First Step in the Translation of Alloy to Coq
Assessment of a Formal Requirements Modeling Approach on a Transportation System
Design Model Repair with Formal Verification
A Performance-Sensitive Malware Detection System on Mobile Platform
Certifying Hardware Model Checking Results
A Note on Failure Mode Reasoning
Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches
Formal Specification and Verification of Smart Contracts
Spatio-Temporal Specification Language for Cyber-Physical Systems
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning.
Ai╠łt-Ameur, Yamine, editor., Editor,
Qin, Shengchao, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-030-32409-4 doi
Access Restriction:
Restricted for use by site license.