3224 search results - page 365 / 645 » On Checking Model Checkers |
167
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
170
click to vote
ICWE
2007
Springer
16 years 24 days ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
158
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
184
click to vote
WSC
2007
15 years 9 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
311
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...