5216 search results - page 284 / 1044 » Planning as Model Checking |
111
click to vote
FTDCS
1999
IEEE
15 years 9 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...
WSC
2000
15 years 6 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, ...
257
click to vote
POPL
2007
ACM
16 years 5 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...
128
click to vote
DATE
2008
IEEE
15 years 11 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...
144
click to vote
FOSSACS
2010
Springer
15 years 8 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 ...