Skip to main content

Formal Methods in System Design

Ausgabe 2/2019

Inhalt (4 Artikel)

Statistical verification of PCTL using antithetic and stratified samples

Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud

SAT-based explicit LTL reasoning and its application to satisfiability checking

Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi

Some complexity results for stateful network verification

Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

Open Access

Incrementally closing octagons

Aziem Chawdhary, Ed Robbins, Andy King

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr