Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

Bibliographic Details
Other Authors:	Stavridou, V
Format:	Conference item
Published:	North−Holland 1992

Similar Items

Model-Driven Geometry Theorem Prover
by: Ullman, Shimon
Published: (2004)

An equality theorem prover based on grammar rewriting
by: Batzoglou, Serafim
Published: (2007)

The analysis of cryptographic APIs using the theorem prover Otter
by: Youn, Paul, 1981-
Published: (2005)

A Relaxation Approach to Splitting in an Automatic Theorem Prover
by: Nevins, Arthur J.
Published: (2004)

Reasoning with Inductively Defined Relations in the HOL Theorem Prover
by: Camilleri, J, et al.
Published: (1992)

Incorporating specialized theories into a general purpose theorem prover
by: Pogosyants, Anna
Published: (2007)

Using first-order theorem provers for security protocol verification
by: Lim, Pamela Jiah Min
Published: (2015)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
by: Bouillaguet, Charles, et al.
Published: (2006)

Investigating the performance of meter provers /
by: 348648 Reed, B., et al.
Published: ([19-)

Formal methods for VLSI design : IFIP WG 10.5 lecture notes/
by: Staunstrup, Jorgen
Published: (1990)

The TAMARIN prover for the symbolic analysis of security protocols
by: Meier, S, et al.
Published: (2013)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi
Published: (1997)

No-Signaling Proofs with O(sqrt(log n)) Provers Is in PSPACE
by: Holden, Dhiraj, et al.
Published: (2022)

Remote attestation for low-end embedded devices: The prover's perspective
by: Brasser, F, et al.
Published: (2016)

Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
by: IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference on Security Management, Integrity, and Internal Control in Information Systems (1st : 2005 : Fairfax, Va.), et al.
Published: (2005)

STASH: Securing transparent authentication schemes using prover-side proximity verification
by: Juuti, M, et al.
Published: (2017)

Collaborative networks and their breeding environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on Virtual Enterprises, 26-28 September, 2005, Valencia, Spain /
by: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (6th : 2005 : Valencia, Spain), et al.
Published: (2005)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
by: O'Leary, J, et al.
Published: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
by: O'Leary, J, et al.
Published: (2013)

Network-centric collaboration and supporting frameworks : IFIP TC 5 WG 5.5, seventh IFIP Working Conference on Virtual Enterprises, September 25-27, 2006, Helsinki, Finland /
by: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (7th : 2006 : Helsinki, Finland), et al.
Published: (2006)

Advances in production management systems : proceedings of the 4th IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems, APMS'90, Espoo, Finland, 20-22 August, 1990 /
by: IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems (4th : 1990 : Espoo, Finland), et al.
Published: (1991)

Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings
Published: (2001)

Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings
Published: (2001)

Costly circuits, submodular schedules and approximate Carathéodory Theorems
by: Bojja Venkatakrishnan, Shaileshh, et al.
Published: (2018)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
by: Williams, Richard Ryan, et al.
Published: (2021)

Circuit design for 1-10 MHz DC-DC conversion
by: Casey, Leo Francis
Published: (2005)

New trends and technologies in computer-aided learning for computer-aided design : IFIP TC10 working conference : EduTech 2005, October 20-21, Perth, Australia /
by: EduTech 2005 (2005 : Perth, W.A.), et al.
Published: (2005)

Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France /
by: IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks ( 2004 : Paris, France), et al.
Published: (2005)

Database security XII : status and prospects : IFIP TC11 WG11.3 Twelfth International Working Conference on Database Security, July 15-17, 1998, Chalkidiki, Greece /
by: IFIP TC11/WG 11.3 International Conference on Databse Security (12th : 1998 : Chalkidiki), et al.
Published: (1999)

Complex machining and Al-methods : proceedings of the IFIP TCS/WG5.3 Working conference on Process Planning for Complex Machining and Al-Methods
by: IFIP TC5/WG5.3 Working Conference on Process Planning for Complex Machining with Al-Methods (1991 : Gaussig, Germany), et al.
Published: (1991)

Machining impossible shapes : IFIP TC5 WG5.3 International Conference on Sculptured Surfaces (SSM98), November 9-11, 1998, Chrysler Technology Center, Michigan, USA /
by: IFIP TC5 WG5.3 International Conference on Sculptured Surface Machining ( 1998 : Auburn Hills, Mich.), et al.
Published: (1999)

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
by: Embree, M, et al.
Published: (2000)

Perspectives and policies on ICT in society : an IFIP TC9 (Computers and Society) handbook /
by: Berleur, Jacques, et al.
Published: (2005)

History of computing and education 2 : IFIP 19th World Computer Congress, WG 9.7, TC 9 : History of computing, proceedings of the Second Conference on the History of Computing and Education, August 21-24, 2006, Santiago, Chile /
by: TC3/TC9 Conference on the History of Computing in Education (2nd : 2006 : Santiago, Chile), et al.
Published: (2006)

Collaborative business ecosystems and virtual enterprises : IFIP TC5/WG5.5 third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE02) May 1-3, 2002, Sesimbra, Portugal /
by: IFIP TC5/WG5.5 Working Conference on Infrastructures for Virtual Enterprises (3rd : 2002 : Sezimbra, Portugal), et al.
Published: (2002)

Human jobs and computer interfaces : Proceedings of the IFIP WG 9.1 Working Conference on Human Jobs and Computer Interfaces Tampere, Findland, 26-28 June 1991 /
by: IFIP WG 9.1 working conference on human jobs and computer interfaces (1991: Tampere,Findland), et al.
Published: (1991)

Projection theorems for hitting probabilities and a theorem of Littlewood
by: Lyons, T, et al.
Published: (1984)

Rolle's theorem and the mean value theorem [filem gelung]
Published: (1973)

Training : from computer aided design to computer integrated enterprise: proceedings of the IFIP W.G. 3.4 Working Conference on training -- from CAD to CIE, Alesund, Norway, 1-5 July 1991 /
by: IFIP WG 3.4 Working Conference on Training: from CAD to CIE (1991: Alesund, Norway), et al.
Published: (1991)

The Recovery Theorem
by: Ross, Stephen A.
Published: (2015)