179 search results - page 1 / 36 » Learning to Verify Safety Properties |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
HVC
2005
Springer
13 years 10 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
