Páginas que enlazan con «Theory of Refinements in PVS»
Las siguientes páginas enlazan a Theory of Refinements in PVS:
Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).- Theories (← enlaces)
- Verification of the formal concept analysis in PVS (← enlaces)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (← enlaces)
- A formally verified prover for the ALC description logic (in PVS) (← enlaces)