Search

Your search keyword '"Munoz, Cesar A"' showing total 71 results

Search Constraints

Start Over You searched for: Author "Munoz, Cesar A" Remove constraint Author: "Munoz, Cesar A" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
71 results on '"Munoz, Cesar A"'

Search Results

1. Formalization of the Undecidability of the Halting Problem for a Functional Language

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

8. Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle

9. Experimental Evaluation of a Planning Language Suitable for Formal Verification

11. Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm

12. Improving Cutting-Stock Plans with Multi-objective Genetic Algorithms

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

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

Catalog

Books, media, physical & digital resources