This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Author(s): Jurriaan Rot, Frank de Boer, Marcello Bonsangue (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Series: Lecture Notes in Computer Science 8161
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2013
Language: English
Pages: 283
Tags: Logics and Meanings of Programs; Software Engineering
Front Matter....Pages I-XIX
Unbounded Allocation in Bounded Heaps....Pages 1-16
On the Complexity of Adding Convergence....Pages 17-33
Deadlock Checking by Data Race Detection....Pages 34-50
Delta Modeling and Model Checking of Product Families....Pages 51-65
Lending Petri Nets and Contracts....Pages 66-82
On Efficiency Preorders....Pages 83-94
Compiling Cooperative Task Management to Continuations....Pages 95-110
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems....Pages 111-132
Efficient Operational Semantics for $$ EB ^3$$ for Verification of Temporal Properties....Pages 133-149
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair....Pages 150-167
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks....Pages 168-182
A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming....Pages 183-198
Push-Down Automata with Gap-Order Constraints....Pages 199-216
Model Checking MANETs with Arbitrary Mobility....Pages 217-232
Validating SCTP Simultaneous Open Procedure....Pages 233-249
Improving Time Bounded Reachability Computations in Interactive Markov Chains....Pages 250-266
Checking Compatibility of Web Services Behaviorally....Pages 267-282
Back Matter....Pages 283-283
