A Verified Formal Model of a VC Generator

2006 30th Annual IEEE/NASA Software Engineering Workshop
doi 10.1109/sew.2006.7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

A Formal Model of Identity Mixer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Formal Model of Data Privacy

English

Esterel V7: From Verified Formal Specification to Efficient Industrial Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Developing a Formal Model of Argumentation-Based Dialogue

2016English

A Formal Model of the Software Test Process

IEEE Transactions on Software Engineering
Software
2002English

A Formally Verified NAT Stack

2018English

A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Relaxation Oscillations for a Model of a Catalytic Particle

Quarterly of Applied Mathematics
Applied Mathematics
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy