The following pages link to PVS (Q16016):
Displaying 50 items.
- Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems. (Q2565500) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)
- An algebraic treatment of procedure refinement to support mechanical verification (Q2576574) (← links)
- Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590) (← links)
- A decision procedure for linear ``big O'' equations (Q2642465) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Code-carrying theories (Q2643124) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- A Coq formalization of Lebesgue integration of nonnegative functions (Q2673304) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Behavioral and coinductive rewriting (Q2703688) (← links)
- Simple network protocol simulation within Maude (Q2703712) (← links)
- DisCo Toolset -- the new generation (Q2709219) (← links)
- An outline of PVS semantics for UML statecharts (Q2709232) (← links)
- The coalgebraic class specification language CCSL (Q2709810) (← links)
- A generic fault-tolerant architecture for real-time dependable systems (Q2710195) (← links)
- A realistic involvement of formal methods (Q2720898) (← links)
- (Q2722012) (← links)
- Proof generation in the Touchstone theorem prover (Q2723407) (← links)
- (Q2723410) (← links)
- (Q2723416) (← links)
- (Q2723417) (← links)
- (Q2729077) (← links)
- (Q2729081) (← links)
- (Q2729960) (← links)
- Automated complexity analysis of Nuprl extracted programs (Q2740983) (← links)
- Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model (Q2744791) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- A system for predictable component-based software construction (Q2751752) (← links)
- (Q2754051) (← links)
- (Q2754052) (← links)
- (Q2754095) (← links)
- (Q2754111) (← links)
- (Q2754112) (← links)
- (Q2754118) (← links)
- Mechanical verification of concurrency control and recovery protocols (Q2760869) (← links)
- (Q2763679) (← links)
- (Q2763984) (← links)
- (Q2764102) (← links)
- (Q2764132) (← links)
- (Q2767010) (← links)
- (Q2767016) (← links)
- A formal framework for managing mathematics (Q2767940) (← links)
- (Q2769579) (← links)
- (Q2769594) (← links)
- Mechanizing invariant proofs of joint action systems (Q2770756) (← links)
- (Q2771760) (← links)
- ROVER: Flexible yet consistent evolution of relationships (Q2778446) (← links)
