Automated Conversion of Axiomatic to Operational Models: Theory and Practice

A system may be modelled as an operational model (which has explicit notions of state and transitions between states) or an axiomatic model (which is specified entirely as a set of invariants). Most formal methods (e.g., IC3, invariant synthesis, etc) are designed for operational models and are larg...

Full description

Bibliographic Details

Published in:	2022 Formal Methods in Computer-Aided Design (FMCAD) pp. 331 - 342
Main Authors:	Godbole, Adwait, Manerkar, Yatin A., Seshia, Sanjit A.
Format:	Conference Proceeding
Language:	English
Published:	FMCAD Association and authors 18-10-2022
Subjects:	Automata Computational modeling Design automation Domain specific languages Formal verification Interoperability
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!