Sciweavers

219 search results - page 1 / 44

» Towards Hilbertian Formal Methods

20

ACSD
2007
IEEE

97views Hardware» more ACSD 2007»

Towards Hilbertian Formal Methods

14 years 5 months ago

Towards Hilbertian Formal Methods

Download personalpages.manchester.ac.uk

Marius C. Bujorianu, Manuela L. Bujorianu

claim paper

Read More »

28

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

13 years 9 months ago

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

35

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

14 years 3 months ago

Towards a Formal Semantics of Verilog Using Duration Calculus

Download folk.uio.no

Gerardo Schneider, Qiwen Xu

claim paper

Read More »

21

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

14 years 3 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

33

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

14 years 3 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

« Prev « First page 1 / 44 Last » Next »