337 search results - page 5 / 68 » Predicate abstraction for software verification |
85
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
107
click to vote
ENTCS
2008
15 years 14 days ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
101
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
101
click to vote
ENTCS
2006
15 years 13 days ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
97
Voted
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...