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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642169007, 9783642169014
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model Checking Hierarchical Probabilistic Systems

2010 ◽  
pp. 388-403 ◽  
Author(s):  
Jun Sun ◽  
Songzheng Song ◽  
Yang Liu
Keyword(s):  
Model Checking ◽  
Probabilistic Systems

scholarly journals Verifying Heap-Manipulating Programs with Unknown Procedure Calls

2010 ◽  
pp. 171-187 ◽  
Author(s):  
Shengchao Qin ◽  
Chenguang Luo ◽  
Guanhua He ◽  
Florin Craciun ◽  
Wei-Ngan Chin

A Pattern System to Support Refining Informal Ideas into Formal Expressions

2010 ◽  
pp. 662-677 ◽  
Author(s):  
Xi Wang ◽  
Shaoying Liu ◽  
Huaikou Miao

Compensable WorkFlow Nets

2010 ◽  
pp. 122-137 ◽  
Author(s):  
Fazle Rabbi ◽  
Hao Wang ◽  
Wendy MacCaull
Keyword(s):  
Workflow Nets

scholarly journals Comparison of Model Checking Tools for Information Systems

2010 ◽  
pp. 581-596 ◽  
Author(s):  
Marc Frappier ◽  
Benoît Fraikin ◽  
Romain Chossart ◽  
Raphaël Chane-Yack-Fa ◽  
Mohammed Ouenzar
Keyword(s):  
Information Systems ◽  
Model Checking

scholarly journals Trace-Driven Verification of Multithreaded Programs

2010 ◽  
pp. 404-419 ◽  
Author(s):  
Zijiang Yang ◽  
Karem Sakallah
Keyword(s):  
Multithreaded Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document