-
Editorial
Author: Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan
Journal: FORMAL ASPECTS OF COMPUTING, 2019, Vol.31, 1-1, DOI:10.1007/s00165-018-00477-6
-
Formal verification and quantitative metrics of MPSoC data dynamics
Author: Hui Zhang, Jinzhao Wu
Journal: FORMAL ASPECTS OF COMPUTING, 2017, Vol.30, 219-237, DOI:10.1007/s00165-017-0444-0
-
An inductive approach to strand spaces
Author: Yongjian Li, Jun Pang
Journal: FORMAL ASPECTS OF COMPUTING, 2011, Vol.25, 465-501, DOI:10.1007/s00165-011-0187-2
-
Compensation by design
Author: Xi Liu, Shaofa Yang, J. W. Sanders
Journal: FORMAL ASPECTS OF COMPUTING, 2013, Vol.26, 623-676, DOI:10.1007/s00165-013-0275-6
-
Model checking dynamic pushdown networks
Author: Fu Song, Tayssir Touili
Journal: FORMAL ASPECTS OF COMPUTING, 2015, Vol.27, 397-421, DOI:10.1007/s00165-014-0330-y
-
Denotational semantics and its algebraic derivation for an event-driven system-level language
Author: H. Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 133-166, DOI:10.1007/s00165-014-0309-8
-
Formalizing provable anonymity in Isabelle/HOL
Author: Yongjian Li, Jun Pang
Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 255-282, DOI:10.1007/s00165-014-0315-x
-
Verification of distributed systems with the axiomatic system of MSVL
Author: Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
Journal: FORMAL ASPECTS OF COMPUTING, 2014, Vol.27, 103-131, DOI:10.1007/s00165-014-0303-1
