5216 search results - page 284 / 1044 » Planning as Model Checking |
170
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model curricula are important resources for curricula planning and design. A joint task force between IEEE-CS and ACM wasformed to undertake the responsibility of revising the 199...
132
click to vote
WSC
2000
15 years 8 months ago
2000
SIMPROCESS was used to plan a phased migration from a traditional municipal court to a paperless court. The simulation model was also used to provide the financial justification, ...
337
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
174
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
198
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...