The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at theâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Anthony Narkawicz, CÃ©sar A. MuÃ±oz
- VSTTE
- 2013

This paper presents a formalization in higher-order logic of a generic algorithm that is used in automated strategies for solvingâ€¦Â (More)

Is this relevant?

2013

2013

- M. Saqib Nawaz, M. IkramUllah Lali, M. A. Pasha
- 2013 IEEE 9th International Conference onâ€¦
- 2013

Genetic Algorithms (GA) are commonly used for solving search problems. Modeling of evolutionary systems is another interestingâ€¦Â (More)

Is this relevant?

Highly Cited

2012

Highly Cited

2012

- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
- Formal Aspects of Computing
- 2012

Over the last decade, great progress has been made in developing practical transactional memory (TM) implementations, butâ€¦Â (More)

Is this relevant?

2011

2011

- Natarajan Shankar, Marc Vaucher
- Electr. Notes Theor. Comput. Sci.
- 2011

Recent years have witnessed dramatic improvements in the capabilities of propositional satisfiability procedures or SAT solversâ€¦Â (More)

Is this relevant?

2008

2008

- Chunqing Chen, Jin Song Dong, Jun Sun
- 2008 ACM/IEEE 30th International Conference onâ€¦
- 2008

Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-timeâ€¦Â (More)

Is this relevant?

2004

2004

Automated theorem proving lies at the heart of all tools for formal analysis of software and system descriptions. In formalâ€¦Â (More)

Is this relevant?

2000

2000

- Grit Denker
- 2000

CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis ofâ€¦Â (More)

Is this relevant?

1998

1998

- W. O. David Griffioen, Marieke Huisman
- TPHOLs
- 1998

There is an overwhelming number of diierent proof tools available and it is hard to nd the right one for a particular applicationâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

PVS (Prototype Verification System) is an environment for constructing clear and precise specifications and for developingâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Sam Owre, John M. Rushby, Natarajan Shankar
- CADE
- 1992

5] John Rushby. Formal speciication and veriication of a fault-masking and transient-recovery model for digital ight-controlâ€¦Â (More)

Is this relevant?