Theories of Programming and Formal Methods, 2013 Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Theoretical Computer Science and General Issues Series
Coordonnateurs : Liu Zhiming, Woodcock Jim, Zhu Huibiao
Set-Theoretic Models of Computations.- Model-Based Mutation Testing of Reactive Systems: From Semantics to Automated Test-Case Generation.- Pliant Modalities in Hybrid Event-B.- A Relational Approach to an Algebraic Community: From Paul Erd˝os to He Jifeng.- Practical Theory Extension in Event-B.- Simulink Timed Models for Program Verification.- Concept Analysis Based Approach to Statistical Web Testing.- Algebraic Program Semantics for Supercomputing.- Modeling and Specification of Real-Time Interfaces with UTP.- Some Fixed-Point Issues in PPTL.- The Value-Passing Calculus.- Proving Safety of Traffic Manoeuvres on Country Roads.- Generic Models of the Laws of Programming.- Ours Is to Reason Why.- Optimal Bounds for Multiweighted and Parametrised Energy Games.- On the Relationship between LTL Normal Forms and BNuchi Automata.- Managing Environment and Adaptation Risks for the Internetware Paradigm.- Safety versus Security in the Quality Calculus.- Invariants Synthesis over a Combined Domain for Automated Program Verification.- Slow Abstraction via Priority.- Performance Estimation Using Symbolic Data.- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.- Graph-Based Object-Oriented Hoare Logic.- Towards a Modeling Language for Cyber-Physical Systems.
Date de parution : 07-2013
Ouvrage de 413 p.
15.5x23.5 cm
Thèmes de Theories of Programming and Formal Methods :
Mots-clés :
LTL; automata; modeling; program verification; symbolic data