1023 search results - page 11 / 205 » Model Checking: Software and Beyond |
SIGSOFT
1996
ACM
15 years 1 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
103
click to vote
CAISE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
112
click to vote
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
