Searching for authors named "Paolo Pecchiari" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Structured Proof Procedures
- … telematica Structured proof procedures Enrico Giunchiglia Alessandro Armando Paolo Pecchiari Mechanized…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards provably correct system synthesis and extension
- …Towards provably correct system synthesis and extension Fausto Giunchiglia a , Paolo Pecchiari b…
- Cited by 1 (1 self) – Add To MetaCart
-
A Logic Level Specification of the NQTHM Simplification Process
- …@(email omitted); Paolo Pecchiari IRST peck@(email omitted); Carolyn Talcott Stanford University clt@(email omitted); Abstract…
- Cited by 2 (1 self) – Add To MetaCart
-
Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems
- … Giunchiglia IRST and Universit`a di Trento fausto@(email omitted); Paolo Pecchiari IRST and Universit`a di Genova…
- Cited by 45 (11 self) – Add To MetaCart
-
A Provably Correct Embedded Verifier for the Certification of Safety . . .
- … of Safety Critical Software Alessandro Cimatti 1 , Fausto Giunchiglia 1 , Paolo Pecchiari 1 , Bruno…
- Cited by 13 (1 self) – Add To MetaCart
-
A Logic Level Specification of the NQTHM Simplification Process
- …@(email omitted); Paolo Pecchiari IRST peck@(email omitted); Carolyn Talcott Stanford University clt@(email omitted); Abstract…
- Add To MetaCart
Showing 1 through 6.
