The aim of 4PAD is to foster interaction between the formal methods<br>communities and systems researchers working on topics in modern<br>parallel, distributed, and network–based processing systems (e.g.,<br>autonomous computing systems, cloud computing systems,<br>service–oriented systems and parallel computing architectures).<br>4PAD topics include (but are not limited to) the following:<br>* Rigorous software engineering approaches and their tool support;<br>* Model–based approaches, including model–driven development;<br>* Service– and component–based approaches;<br>* Semantics, types and logics;<br>* Formal specification and verification;<br>* Performance analysis based on formal approaches;<br>* Formal aspects of programming paradigms and languages;<br>* Formal approaches to parallel architectures and weak memory models;<br>* Formal approaches to deployment, run–time analysis,<br>adaptation/evolution, reconfiguration, and monitoring;<br>* Case studies developed/analyzed with formal approaches;<br>* Formal stochastic models and analysis;<br>* Formal methods for large–scale distributed systems;<br>* Statistical analysis techniques based on formal approaches.<br>
Abbrevation
4PAD
City
Orleans
Country
France
Deadline Paper
Start Date
End Date
Abstract