Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642246890, 9783642246906
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Machine-Checked Framework for Relational Separation Logic

2011 ◽  
pp. 122-137 ◽  
Author(s):  
Juan Manuel Crespo ◽  
César Kunz
Keyword(s):  
Separation Logic

scholarly journals Synchronizing Asynchronous Conformance Testing

2011 ◽  
pp. 334-349 ◽  
Author(s):  
Neda Noroozi ◽  
Ramtin Khosravi ◽  
Mohammad Reza Mousavi ◽  
Tim A. C. Willemse
Keyword(s):  
Conformance Testing

scholarly journals Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems

2011 ◽  
pp. 286-301 ◽  
Author(s):  
Marco Mori ◽  
Fei Li ◽  
Christoph Dorn ◽  
Paola Inverardi ◽  
Schahram Dustdar
Keyword(s):  
Adaptive Systems ◽  
User Preferences ◽  
Context Aware ◽  
Self Adaptive

Verification of PLC Properties Based on Formal Semantics in Coq

2011 ◽  
pp. 58-73 ◽  
Author(s):  
Jan Olaf Blech ◽  
Sidi Ould Biha
Keyword(s):  
Formal Semantics

ProMoVer: Modular Verification of Temporal Safety Properties

2011 ◽  
pp. 366-381 ◽  
Author(s):  
Siavash Soleimanifard ◽  
Dilian Gurov ◽  
Marieke Huisman
Keyword(s):  
Safety Properties ◽  
Modular Verification

Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

2011 ◽  
pp. 253-268 ◽  
Author(s):  
Mélanie Jacquel ◽  
Karim Berkani ◽  
David Delahaye ◽  
Catherine Dubois
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
Proof Rules ◽  
Deep Embedding
Load More ...
Sign in / Sign up

Export Citation Format

Share Document