Login / Signup
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX.
Richard Banach
Joseph Razavi
Olivier Debicki
Suzanne Lesecq
Published in:
FM Workshops (1) (2019)
Keyphrases
</>
formal methods
rapid development
key technologies
case study
data processing
model checking
mathematical foundations
formal analysis
personal computer
technological advances
current status
st century
neural network
cost effective
computer systems
expert systems
genetic algorithm