![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 54
Volume 54, Number 1, August 2019
- Francesco Ranzato
:
Foreword to the special issue on the 2017 Static Analysis Symposium. 1-3 - Ahmed Bouajjani, Constantin Enea
, Shuvendu K. Lahiri:
Abstract semantic diffing of evolving concurrent programs. 4-26 - Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan
:
Template polyhedra and bilinear optimization. 27-63 - Abdelraouf Ouadjaout
, Antoine Miné:
Quantitative static analysis of communication protocols using abstract Markov chains. 64-109 - Tushar Sharma
, Thomas W. Reps:
A new abstraction framework for affine transformers. 110-143
Volume 54, Number 2, November 2019
- Yu Wang
, Nima Roohi, Matthew West
, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of PCTL using antithetic and stratified samples. 145-163 - Jianwen Li
, Shufang Zhu
, Geguang Pu, Lijun Zhang, Moshe Y. Vardi:
SAT-based explicit LTL reasoning and its application to satisfiability checking. 164-190 - Kalev Alpernas
, Aurojit Panda, Alexander Rabinovich
, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner:
Some complexity results for stateful network verification. 191-231 - Aziem Chawdhary
, Edward Robbins
, Andy King:
Incrementally closing octagons. 232-277
Volume 54, Number 3, November 2019
- César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
, Domenico Bianculli
, Christian Colombo
, Yliès Falcone, Adrian Francalanza
, Srdan Krstic
, João M. Lourenço
, Dejan Nickovic
, Gordon J. Pace
, José Rufino, Julien Signoles
, Dmitriy Traytel
, Alexander Weiss
:
A survey of challenges for runtime verification from advanced application domains (beyond software). 279-335 - Bernd Finkbeiner, Christopher Hahn
, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. 336-363 - Susmit Jha
, Ashish Tiwari
, Sanjit A. Seshia, Tuhin Sahai
, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. 364-387 - Bernhard K. Aichernig, Martin Tappler
:
Probabilistic black-box reachability checking (extended version). 416-448 - David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic
, Dmitriy Traytel
:
Almost event-rate independent monitoring. 449-478
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.