The following pages link to PVS (Q16016):
Displaying 50 items.
- An Interpretation of Isabelle/HOL in HOL Light (Q3613409) (← links)
- First-Order Logic with Dependent Types (Q3613421) (← links)
- A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA) (Q3613427) (← links)
- On the Strength of Proof-Irrelevant Type Theories (Q3613437) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Merging Procedural and Declarative Proof (Q3638254) (← links)
- Nonblocking Algorithms and Backward Simulation (Q3646231) (← links)
- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata (Q3648831) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- (Q4222959) (← links)
- (Q4223031) (← links)
- (Q4223070) (← links)
- (Q4230923) (← links)
- (Q4231030) (← links)
- (Q4234763) (← links)
- (Q4241266) (← links)
- (Q4246941) (← links)
- (Q4261076) (← links)
- (Q4263160) (← links)
- (Q4263161) (← links)
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems (Q4328968) (← links)
- (Q4344156) (← links)
- (Q4362971) (← links)
- (Q4364538) (← links)
- (Q4370601) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- (Q4413894) (← links)
- (Q4414730) (← links)
- (Q4417917) (← links)
- (Q4418691) (← links)
- (Q4427901) (← links)
- (Q4428312) (← links)
- (Q4433932) (← links)
- (Q4433933) (← links)
- (Q4471915) (← links)
- (Q4472223) (← links)
- (Q4473081) (← links)
- (Q4474214) (← links)
- (Q4474219) (← links)
- (Q4484344) (← links)
- (Q4493898) (← links)
- (Q4494241) (← links)
- (Q4499175) (← links)
- (Q4507864) (← links)
- (Q4518867) (← links)
- (Q4518871) (← links)
- (Q4518894) (← links)
- (Q4520500) (← links)
