ivcha's user avatar
ivcha's user avatar
ivcha's user avatar
ivcha
  • Member for 8 years, 4 months
  • Last seen more than a month ago
  • Cambridge, MA, United States
8 votes
Accepted

Programming language semantics prototyping tool

4 votes

Finding weakest precondition

4 votes
Accepted

The definition of weakest precondition for a non-deterministic language

4 votes

How to Generate Control flow graph from a Petri net model?

4 votes
Accepted

The importance of the language semantics for code generation and frameworks for code generation in model-driven development

4 votes

Quantified Boolean Formula vs First-order logic

3 votes

Using B-method, and formal methods in general, to model and verify a reverse linked list

2 votes

Modeling a sequential circuit as a transition system

2 votes

LTL properties in bounded model checking via assertions

2 votes

How to verify a property about a certain order of events in TCTL / UPPAAL?

1 vote

A linear temporal property that represents this (basic) execution?