71 results on '"Munoz, Cesar A"'
Search Results
2. A Formally Verified Generic Branching Algorithm for Global Optimization
3. Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
4. Advanced Theorem Proving Techniques in PVS and Applications
5. A Formal Interactive Verification Environment for the Plan Execution Interchange Language
6. Simulation and Verification of Synchronous Set Relations in Rewriting Logic
7. Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm
8. Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle
9. Experimental Evaluation of a Planning Language Suitable for Formal Verification
10. Entropy Based Diversity Measures in Evolutionary Mobile Robot Navigation
11. Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
12. Improving Cutting-Stock Plans with Multi-objective Genetic Algorithms
13. Learning Performance in Evolutionary Behavior Based Mobile Robot Navigation
14. Real-Time Adaptive Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot
15. Formal Analysis of the Operational Concept for the Small Aircraft Transportation System
16. Predicate Abstraction of Programs with Non-linear Computation
17. Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot
18. Real Number Calculations and Theorem Proving
19. Formal Verification of Conflict Detection Algorithms
20. Absolute Explicit Unification
21. Aircraft Trajectory Modeling and Alerting Algorithm Verification
22. Structural Embeddings: Mechanization with Method
23. Dependent types with explicit substitutions: A meta-theoretical development
24. Predicate Abstraction of Programs with Non-linear Computation
25. Proof Pearl: Revisiting the Mini-rubik in Coq
26. LCF-Style Propositional Simplification with BDDs and SAT Solvers
27. Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
28. Formalizing Soundness of Contextual Effects
29. A Compiled Implementation of Normalization by Evaluation
30. First-Class Type Classes
31. Certified Exact Transcendental Real Number Computation in Coq
32. Real Number Calculations and Theorem Proving : Validation and Use of an Exact Arithmetic
33. Lightweight Separation
34. A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
35. Secure Microkernels, State Monads and Scalable Refinement
36. HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
37. Certifying a Termination Criterion Based on Graphs, without Graphs
38. Imperative Functional Programming with Isabelle/HOL
39. A Type of Partial Recursive Functions
40. Formal Reasoning About Causality Analysis
41. The Isabelle Framework
42. Nominal Inversion Principles
43. Canonical Big Operators
44. A Brief Overview of HOL4
45. A Brief Overview of PVS
46. An ACL2 Tutorial
47. A Short Presentation of Coq
48. Will This Be Formal?
49. Twenty Years of Theorem Proving for HOLs Past, Present and Future
50. Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.