Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540733690
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Instrumenting C Programs with Nested Word Monitors

2007 ◽  
pp. 279-283 ◽  
Author(s):  
Swarat Chaudhuri ◽  
Rajeev Alur
Keyword(s):  
C Programs

Scalable Multi-core LTL Model-Checking

2007 ◽  
pp. 187-203 ◽  
Author(s):  
Jiří Barnat ◽  
Luboš Brim ◽  
Petr Ročkai
Keyword(s):  
Model Checking ◽  
Ltl Model Checking

Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software

2007 ◽  
pp. 58-75 ◽  
Author(s):  
Yu Yang ◽  
Xiaofang Chen ◽  
Ganesh Gopalakrishnan ◽  
Robert M. Kirby
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction

scholarly journals Cartesian Partial-Order Reduction

2007 ◽  
pp. 95-112 ◽  
Author(s):  
Guy Gueta ◽  
Cormac Flanagan ◽  
Eran Yahav ◽  
Mooly Sagiv
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction

scholarly journals On-the-Fly Dynamic Dead Variable Analysis

2007 ◽  
pp. 113-130 ◽  
Author(s):  
Joel P. Self ◽  
Eric G. Mercer
Keyword(s):  
Variable Analysis

scholarly journals LTL Satisfiability Checking

2007 ◽  
pp. 149-167 ◽  
Author(s):  
Kristin Y. Rozier ◽  
Moshe Y. Vardi
Keyword(s):  
Satisfiability Checking ◽  
Ltl Satisfiability Checking

Towards Model Checking Spatial Properties with SPIN

2007 ◽  
pp. 223-242
Author(s):  
Alberto Lluch Lafuente
Keyword(s):  
Model Checking ◽  
Spatial Properties

scholarly journals SAT-Based Summarization for Boolean Programs

2007 ◽  
pp. 131-148 ◽  
Author(s):  
Gérard Basler ◽  
Daniel Kroening ◽  
Georg Weissenbacher

scholarly journals BEEM: Benchmarks for Explicit Model Checkers

2007 ◽  
pp. 263-267 ◽  
Author(s):  
Radek Pelánek
Keyword(s):  
Explicit Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document