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

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319686899, 9783319686905
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Verification Framework for Stateful Security Protocols

2017 ◽  
pp. 262-280
Author(s):  
Li Li ◽  
Naipeng Dong ◽  
Jun Pang ◽  
Jun Sun ◽  
Guangdong Bai ◽  
...  
Keyword(s):  
Security Protocols

Improving the Scalability of Automatic Linearizability Checking in SPIN

2017 ◽  
pp. 105-121 ◽  
Author(s):  
Patrick Doolan ◽  
Graeme Smith ◽  
Chenyi Zhang ◽  
Padmanabhan Krishnan

Nested Timed Automata with Diagonal Constraints

2017 ◽  
pp. 396-412
Author(s):  
Yuwei Wang ◽  
Yunqing Wen ◽  
Guoqiang Li ◽  
Shoji Yuen
Keyword(s):  
Timed Automata

A Certified Decision Procedure for Tree Shares

2017 ◽  
pp. 226-242 ◽  
Author(s):  
Xuan-Bach Le ◽  
Thanh-Toan Nguyen ◽  
Wei-Ngan Chin ◽  
Aquinas Hobor
Keyword(s):  
Decision Procedure
Load More ...
Sign in / Sign up

Export Citation Format

Share Document