Integrated Formal Methods
-15%
portes grátis
Integrated Formal Methods
14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Winter, Kirsten; Furia, Carlo A.
Springer International Publishing AG
08/2018
420
Mole
Inglês
9783319989372
15 a 20 dias
664
Descrição não disponível.
Dynamic Symbolic Execution for Software Analysis.- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics.- Program Correctness Under Weak Memory Consistency.- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders.- Reasoning About JML: Differences Between KeY and OpenJML.- Design and Verification of Restart-robust Industrial Control Software.- Efficiently Characterizing the Undefined Requests of a Rule-Based System.- Study of Integrating Random and Symbolic Testing for Object-Oriented Software.- Making Linearizability Compositional for Partially Ordered Executions.- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.- A Precise Pictorial Language for Array Invariants.- Robotics and Integrated Formal Methods: Necessity Meets Opportunity.- Formal Modeling of Software Defined Networking.- Resource-Aware Virtually Timed Ambients.- Stateful Behavioral Types for Active Objects.- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks.- Task Planning with OMT: An Application to Production Logistics.- Branching Temporal Logic of Calls and Returns for Pushdown Systems.- Repair and Generation of Formal Models Using Synthesis.- Mode-aware Concolic Testing for PLC Software.- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.- Analysing AWN-specifications Using mCRL2.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer architecture;data security;formal logic;formal methods;network security;programming languages;semantics;software engineering;software evaluation;specifications;theorem proving;verification
Dynamic Symbolic Execution for Software Analysis.- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics.- Program Correctness Under Weak Memory Consistency.- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders.- Reasoning About JML: Differences Between KeY and OpenJML.- Design and Verification of Restart-robust Industrial Control Software.- Efficiently Characterizing the Undefined Requests of a Rule-Based System.- Study of Integrating Random and Symbolic Testing for Object-Oriented Software.- Making Linearizability Compositional for Partially Ordered Executions.- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.- A Precise Pictorial Language for Array Invariants.- Robotics and Integrated Formal Methods: Necessity Meets Opportunity.- Formal Modeling of Software Defined Networking.- Resource-Aware Virtually Timed Ambients.- Stateful Behavioral Types for Active Objects.- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin.- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks.- Task Planning with OMT: An Application to Production Logistics.- Branching Temporal Logic of Calls and Returns for Pushdown Systems.- Repair and Generation of Formal Models Using Synthesis.- Mode-aware Concolic Testing for PLC Software.- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.- Analysing AWN-specifications Using mCRL2.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
